Browse > Article

Development of a Modeling Methodology to Capture Collaborative Processes and Its Verification  

Lee, Sun-Hwa (Department of Industrial Engineering, Pusan National University(PNU))
Ryu, Kwang-Yeol (Department of Industrial Engineering, Pusan National University(PNU))
Publication Information
Journal of Korean Institute of Industrial Engineers / v.36, no.3, 2010 , pp. 176-185 More about this Journal
Abstract
As long as the information systems are spread out, various efforts are being attempted to get the effective results by the system. As a result, a new management strategy has been appeared, referred to as "collaboration", and it is necessary to use a right methodology for modeling collaborative processes accordingly. Even though many modeling methodologies such as IDEF3, Petri-Nets, UML, and ARIS have been widely used for modeling processes, they are inadequate for clearly representing collaborative processes. Some researchers, therefore, have suggested new modeling methodologies for describing collaborative processes including CPM (collaborative process modeling). In this paper, we introduce an extended version of CPM method (i.e., exCPM) as a tool for modeling collaborative works after analyzing advantages and disadvantages of aforementioned methodologies. One of distinct characteristics of exCPM is that model verification is possible by transforming the exCPM models into Petri-Nets models. We also demonstrate transformation of an exCPM model in this paper with case studies for model verification.
Keywords
exCPM; Collaborative Process Modeling; Petri-Nets; Verification;
Citations & Related Records
Times Cited By KSCI : 1  (Citation Analysis)
연도 인용수 순위
1 Kristensen, L. M., Christensen, S., and Jensen, K. (1998), The Practitioner's Guide to Coloured Petri Nets, Int. Journal on Software Tools for Technology Transfer, 2, Springer Verlag, 98-132.   DOI   ScienceOn
2 Santarek, K. and Busief, I. (1998), Modeling and design of flexible manufacturing systems using SADT and Petri nets tools, Journal of Materials Processing Technology, 76(1-3), 212-218.   DOI
3 Yoo, T., Jeong, B., and Cho, H. (2010), A Petri Nets based functional validation for services composition, Expert Systems with Applications, 37(5), 3768-3776.   DOI   ScienceOn
4 Thompson, B. S. (2007), Creative Engineering Design(1), Pearson Education Korea, Seoul, Korea.
5 Ryu, K. and Yucesan, E. (2007), A collaborative process modeling for cooperative manufacturers, Advanced Engineering Informatics, 21 (2), 231-239.   DOI   ScienceOn
6 Ryu, K., Son, Y., and Jung, M. (2003), Modeling and Specifications of Dynamic Agents in Fractal Manufacturing Systems, Computers in Industry, 52(2), 161-182.   DOI   ScienceOn
7 Scheer, A. W. (1994), ARIS-Navigator for Reference Models for Industrial Enterprises, Business Process Engineering, Springer, Berlin.
8 van der Aalst, W. M. P. (1999), Formalization and verification of eventdriven process chains, Information and Software Technology, 41 (10), 639-650.   DOI   ScienceOn
9 Yim, D., Kim, C., Woo, H., and Kim, J. (1998), Integration of Business Process Modeling Methodologies : IDEF0, IDEF3, and Petri Net, The Journal of Korean Institute of CALS/EC, 3(2), 141-160.
10 Kim, H., Lee, Y., Oh, H., and Yun, J. (2005), Standardization of Modeling Notation and Query Language for Business Management, Gyeonggi Daejin Technopark/National Information Society Agency.
11 Mayer, R. J., Menzel, C. P., Painter, M. K., deWitte, P. S., Blinn, T., and Perakath, B. (1995), Information Integration for Concurrent Engineering (IICE) IDEF3 process description capture method report, Knowledge Based Systems Inc.
12 Mayer, R. J., Painter, M. K., and deWitte, P. S. (1993), IDEF family of methods for concurrent engineering and business re-engineering applications, KBSI Technical Report.
13 OMG (2003), Unified Modeling language (UML) Version 1.5, http:// www.uml.org.
14 Petri, C. A. (1962), Communication witth Automata, Bonn Institut fuer Instrumentelle Mathematik, Schriften des IIM Nr. 2.
15 Pooley, R. and Stevens, P. (1999), Using UML Software Engineering with Objects and Components, Addison-Wesley.
16 Quatrani, T. (1998), Visual Modeling with Rational Rose and UML, Addison- Wesley.
17 Rumbaugh, J., Jacobson, I., and Booch, G. (1999), The Unified Modeling Language Reference Manual, Addison-Wesley.
18 Han, K. (2004), A Workflow Analysis Using the Transformation of an UML Activity Diagram into a Petri Net, IE Interfaces, 17(2), 200-207.
19 Baresi, L. (2001), Improving UML with Petri nets, Electronic Notes in Theoretical Computer Science, 44(4), 1-13.   DOI
20 Booch, G., Rumbaugh, J., and Jacobson, I. (1999), The Unified Modeling Language User Guide, Addison-Wesley.
21 Kim, C., Weston, R. H., Hodgson, A., and Lee, K. (2003), The complementary use of IDEF and UML modelling approaches, Computers in Industry, 50(1), 35-56.   DOI   ScienceOn