산업공학 (IE interfaces)

  • 제20권1호
  • /
  • Pages.79-86
  • /
  • 2007
  • /
  • 1225-0996(pISSN)
  • /
  • 2234-6465(eISSN)
대한산업공학회 (Korean Institute of Industrial Engineers)
권호 표지

기업간 전자거래를 위한 Petri Net 기반 프로세스 모델링

Petri Net-based Process Modeling for B2B e-Commerce

  • 김선호 (명지대학교 산업경영공학과)
  • Kim, Sun-Ho (Department of Industrial & Management Engineering, Myongji University)
  • 투고 : 20060800
  • 심사 : 20070100
  • 발행 : 2007.03.31
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

In B2B e-commerce environments, many initiatives for process modeling have made efforts to design business processes correctly. Especially, Petri nets have been widely used as a good theory to design and verify process models. Therefore, we propose the process modeling method for the B2B e-commerce based on Petri nets. First of all, a B2B process model based on BPSS is represented by the UML activity diagram. Second, the activity diagram is transformed to a Petri net model. For the transformation, well-behaved building blocks/control structures and the modeling rules for inter-organizational workflow processes are proposed. Third, the process is partitioned into sharable processes for individual business partners. Finally, according to needs of individual business partners, the sharable processes are modified by well-structured refinement rules. The whole procedure is explained with the purchase process of an e-bookstore.

키워드

참고문헌

  1. Bernardi, S., Donatelli, S. and Merseguer, J. (2002), From UML Sequence Diagrams and Starecharts to Analysable Perri Net Models, International workshop on software and performance, 35-45, ACM
  2. BPMI.org (2002), Business Process Modeling Language (BPML), Version 1.0. The Seventh Working Draft of BPML
  3. Garrido, J. L. and Gea, M. (2002), A Coloured Perri Net Formalisation for a UML-based Notation Applied to Cooperative System Modelling, Lecture Notes in Computer Science, 2545 , 16-28 https://doi.org/10.1007/3-540-36235-5_2
  4. Gou, H., Huang, B. and Ren, S. (2000), A UML and Petri net integrated modeling method for business processes in virtual enterprises, Proceedings of the 2000 AAAI Symposium-Bringing Knowledge to Business Processes , 142-144
  5. Hauschildt, D., Verbeek, H. M. W. and van der Aalst, W. M. P. (1997), Woflan: a Petri-net-based Workflow Analyzer, Computing Schience Reports 97/12, Eindhoven University of Technology, Eindhoven
  6. Hu, Z. and Shatz, S. M. (2004), Mapping UML Diagrams to a Petri Net Notation for System Simulation, Software engineering and knowledge engineering, 213-219, Knowledge Systems Institute Graduate School
  7. King, P. and Pooley, R. (2000), Derivation of Petri Net Performance Models from UML Specification of Communications Software, Lecture Notes in Computer Science, 1786, 262-276 https://doi.org/10.1007/3-540-46429-8_19
  8. Lin, C. P., Lin, Y. P. and Jeng, M. D. (2004), Design of Intelligent Manufacturing Systems by Using UML and Petri Net, Proceedings of the 2004 International Conference n Networking, Sensing & Control, 501-506, IEEE
  9. Murata, T. (1989), Petri Nets: Properties, Analysis, and Applications, Proceedings of the IEEE, 77(4), 541-580
  10. Shishkov, B. and Barjis, J. (2002), Modeling of e-Business Brokerage Systems Using UML and Petri Net, IFIP world computer congress; Information systems the e-business challenge, 61-76, Kluwer Academic
  11. UN/CEFACT (2003), ebXML Business Process Specification Schema, Version 1.10 Business Process Project Team of UN/CEFACT, October
  12. Van der Aalst, W. M. P. (1998), The Applicarion of Petri Nets to Workflow Management, Journal of Circuits, Systems and Computers, 8(1), 21-66
  13. Van der Aalst, W. M. P. (1999), Inter-organizational Workflows An approach based on message sequence charts and Petri nets, Systems Analysis-Modeling-Simulation, 34(3), 335-367
  14. Van der Aalst, W. M. P. (2002), Inheritance of Inter-organizational Workflows: How to agree to disagree without loosing control? Electronic Commerce Research, 2(3), 195-231 https://doi.org/10.1023/A:1016031730365
  15. WfMC (2002), Workflow Process Definition Interface XML Process Definition Language, Version 1.0. Document Number WFMC - TC 1025
  16. Yan, Z. and Gan, R. (2001), Modeling of SET Protocol Based on UML and Colored Petri Net, Proceedings of the 2001 International Conference on Information Technology and Information Network, 6, 124-129, IEEE