Journal of Korean Institute of Industrial Engineers (대한산업공학회지)

Korean Institute of Industrial Engineers (대한산업공학회)
권호 표지

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))
  • Received : 2010.06.15
  • Accepted : 2010.08.19
  • Published : 2010.09.01
Download PDF
⟨ Previous Next ⟩

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

References

  1. Baresi, L. (2001), Improving UML with Petri nets, Electronic Notes in Theoretical Computer Science, 44(4), 1-13. https://doi.org/10.1016/S1571-0661(04)80939-3
  2. Booch, G., Rumbaugh, J., and Jacobson, I. (1999), The Unified Modeling Language User Guide, Addison-Wesley.
  3. Han, K. (2004), A Workflow Analysis Using the Transformation of an UML Activity Diagram into a Petri Net, IE Interfaces, 17(2), 200-207.
  4. 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. https://doi.org/10.1016/S0166-3615(02)00145-8
  5. 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.
  6. 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. https://doi.org/10.1007/s100090050021
  7. 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.
  8. 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.
  9. OMG (2003), Unified Modeling language (UML) Version 1.5, http:// www.uml.org.
  10. Petri, C. A. (1962), Communication witth Automata, Bonn Institut fuer Instrumentelle Mathematik, Schriften des IIM Nr. 2.
  11. Pooley, R. and Stevens, P. (1999), Using UML Software Engineering with Objects and Components, Addison-Wesley.
  12. Quatrani, T. (1998), Visual Modeling with Rational Rose and UML, Addison- Wesley.
  13. Rumbaugh, J., Jacobson, I., and Booch, G. (1999), The Unified Modeling Language Reference Manual, Addison-Wesley.
  14. Ryu, K. and Yucesan, E. (2007), A collaborative process modeling for cooperative manufacturers, Advanced Engineering Informatics, 21 (2), 231-239. https://doi.org/10.1016/j.aei.2006.05.003
  15. 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. https://doi.org/10.1016/S0166-3615(03)00099-X
  16. 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. https://doi.org/10.1016/S0924-0136(97)00350-6
  17. Scheer, A. W. (1994), ARIS-Navigator for Reference Models for Industrial Enterprises, Business Process Engineering, Springer, Berlin.
  18. Thompson, B. S. (2007), Creative Engineering Design(1), Pearson Education Korea, Seoul, Korea.
  19. van der Aalst, W. M. P. (1999), Formalization and verification of eventdriven process chains, Information and Software Technology, 41 (10), 639-650. https://doi.org/10.1016/S0950-5849(99)00016-6
  20. 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.
  21. 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. https://doi.org/10.1016/j.eswa.2009.11.046