Abstract
To verify the compatibility of interaction of enterprises on the supply chain, the verification method and design of a supply chain interaction model based on Pi-calculus is presented. First, the interaction view is used to describe the interaction structure between enterprises on the supply chain; second, the formalization modeling for the interaction structure of supply chain was conducted based on Pi-calculus; third, with the deduction capabilities of Pi-calculus, deduction and verification on the established model is conducted; and finally, to confirm the verification method, the Mobility Workbench (MWB) is applied to present the verification process of supply chain compatibility. According to the results, the method can effectively test the compatibility of supply chain.
| Original language | English |
|---|---|
| Pages (from-to) | 2165-2169 |
| Number of pages | 5 |
| Journal | Procedia Engineering |
| Volume | 15 |
| DOIs | |
| State | Published - 2011 |
| Externally published | Yes |
| Event | 2011 International Conference on Advanced in Control Engineering and Information Science, CEIS 2011 - Dali, Yunnam, China Duration: 18 Aug 2011 → 19 Aug 2011 |
Keywords
- Compatibility
- Interaction
- Pi-calculus
- Supply chain
Fingerprint
Dive into the research topics of 'Research on interaction compatibility of enterprises on supply chain'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver