CPM: A collaborative process modeling for cooperative manufacturers

In a manufacturing system, we need to capture collaborative processes among its components in order to clearly define supporting functions of a system. However, pervasive process modeling techniques, including IDEF3, Petri Nets, and UML, are not sufficient for modeling collaborative processes. Therefore, we have developed a novel modeling method referred to as collaborative process modeling (CPM) to describe collaborative processes. CPM models can be transformed into marked graph models so that we can use the analysis power of Petri Nets. In this paper, we first briefly discuss these process modeling techniques. Then, we illustrate the CPM method and transformation rules with illustrative examples. CPM allows us to develop collaborative process models, understand and facilitate the realization of collaboration, and verify models before moving onto development.

[1]  Wil M. P. van der Aalst,et al.  Formalization and verification of event-driven process chains , 1999, Inf. Softw. Technol..

[2]  Krzysztof Santarek,et al.  Modelling and design of flexible manufacturing systems using SADT and Petri nets tools , 1998 .

[3]  K. Rangarajan,et al.  A Note on the Construction of Marked Graphs , 1995, Inf. Process. Lett..

[4]  Kwangyeol Ryu,et al.  Modeling and specifications of dynamic agents in fractal manufacturing systems , 2003, Comput. Ind..

[5]  J.-M. Faure,et al.  Business process engineering with partial models , 1995 .

[6]  M. Hagberg Editorial , 2004 .

[7]  Luciano Baresi,et al.  Improving UML with Petri nets , 2001, UNIGRA.

[8]  Weiming Shen,et al.  Special issue on collaborative environments for design and manufacturing , 2005, Advanced Engineering Informatics.

[9]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[10]  August-Wilhelm Scheer Business Process Engineering, ARIS-Navigator for Reference Models for Industrial Enterprises , 1994 .

[11]  Kwan Hee Han A Workflow Analysis Using the Transformation of an UML Activity Diagram into a Petri Net , 2004 .

[12]  Richard H. Weston,et al.  The complementary use of IDEF and UML modelling approaches , 2003, Comput. Ind..

[13]  Sinan Si Alhir UML in a Nutshell , 1998 .

[14]  Richard J. Mayer,et al.  Information Integration for Concurrent Engineering (IICE) IDEF3 Process Description Capture Method Report , 1992 .

[15]  Javier Campos,et al.  From UML activity diagrams to Stochastic Petri nets: application to software performance engineering , 2004, WOSP '04.

[16]  Hans-Jörg Kreowski,et al.  GRACE as a unifying approach to graph-transformation-based specification , 2001, Electron. Notes Theor. Comput. Sci..

[17]  Kevin K. Jurrens,et al.  Manufacturing planning and predictive process model integration using software agents , 2005, Adv. Eng. Informatics.