P/spl I.bar/DROCE model based supply chain management system and its verification

摘要

According to supply chain's junction views and its lifecycle, a model called P/spl I.bar/DROCE is provided as an integrated supply chain workflow model that is proved to support concurrent engineering effectively. It consists of five sub-models: business P/spl I.bar/DROCE process model (P), order model (D), resource model (R), organization model (O), cost and evaluation model (CE). The P/spl I.bar/DROCE model is different from other modes as it can be integrated by the workflow system. Based on P/spl I.bar/DROCE model and business rules, a supply chain workflow management system is introduced. As Petri net theory lacks the ability of expressing P/spl I.bar/DROCE as behaviors and mobility, we put forward a method using /spl pi/ calculus to describe the business P/spl I.bar/DROCE processes behaviors and communications. At last, it is given the formal verification of the supply chain workflow management system.