P_droce Model Based Supply Chain Management System and Its Verification

T Hu,SS Zhang,BH Li

DOI: https://doi.org/10.1109/icsmc.2003.1245627

2003-01-01

Abstract: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.