Journal of Korean Society of Industrial and Systems Engineering (산업경영시스템학회지)

Society of Korea Industrial and System Engineering (한국산업경영시스템학회)
권호 표지

The Formalization of Business Process Modeling Language for Business Process Management

비즈니스 프로세스 관리를 위한 BPML의 형식화

  • Lee, Kang-Bae (Division of Management Information Science, Dong-A University) ;
  • Yu, Sung-Yeol (School of Business Administration, Catholic University of Pusan)
  • 이강배 (동아대학교 경영정보과학부) ;
  • 유성열 (부산가톨릭대학교 경영학부)
  • Published : 2006.09.30
Download PDF
⟨ Previous Next ⟩

Abstract

In this paper, we present a systematic approach to translating BPML(Business Process Modeling Language) into the ${\pi}-Calculus$. BPML is an executable business process modeling language, like BPEL4WS(Business Process Execution Language for Web Services). It is difficult to find a systematic approach to formalizing these languages; but, by formalizing them, the behavior of the processes can be analyzed and compared so that optimal processes can be designed. For this formalization, we analyzed the activity types and contexts of BPML and suggested the definitions of semantics for each type and context by using the ${\pi}-Calculus$. In addition, we have shown the usefulness of our formalization scheme in that a typical order fulfillment process represented in BPML can be translated into the ${\pi}-Calculus$.

Keywords

References

  1. van der Aalst, W. M. P.,Dumas,M., ter Hofstede,A. H. M.,and Wohe, P.; 'Pattern based analysis of BPML (and WSCI),' Technical report No. FIT-TR-2002-050,Brisbane,Australia: Queensland University of Technology,2002
  2. van der Aalst,W. M. P.; 'The application of Petri-nets for Workflow anagement,' The journal of Circuits,Systems,and Computers,8(1) : 21-66,1998 https://doi.org/10.1142/S0218126698000043
  3. Arkin,A.; Business Process Modeling Language,BPMI.org,2002
  4. Browning,T. R.; 'Process Integration Using the Design Structure Matrix,' Systems Engineering, 5(3) : 180-193,2002 https://doi.org/10.1002/sys.10023
  5. Dong,Y. and ShenSheng,Z.; 'Using $\pi$-Calculus to Formalize UML Activity Diagrams,' Proceedings of 10th International Conference and Workshop on Engineering of Computer-Based Systems,IEEE Press,NY, pp. 47-54,2003
  6. Dufresne,T. and James M.; 'Process Modeling for E-Business,' Term Paper for INFS 770 - Methods for Information Systems Engineering (Larry Kirschberg),George Mason University,pp. 1-28,2003
  7. Lam,V. S. W. and Padget,J. A.; 'Formalization of UML Statechart Diagrams in the p-CaIculus,' Proceedings of Australian Software Engineering Conference, pp. 213-223,2001
  8. Milner,R.; Communicating and Mobile Systems : the $\pi$-Calculus,Cambridge University Press,Cambridge,UK,1999
  9. Moon,J.,Lee,D.,Park,C.,and Cho,H.; 'Transformation Algorithms between BPEL4WS and BPML for the Executable Business Process,Proceedings of the 13th IEEE International Workshops on Enabling Technologies : Infrastructure for Collaborative Enterprises (WETICE'04),pp. 135-140,2004
  10. Peltz,C.; Web Service Orchestration. A Review of emerging technologies, tools,and standards,Hewlett Packard,CO.,2003
  11. Puhlmann,F. and Weske M.; 'Using the $\pi$-Calculus for Formalizing Workflow Patterns,' Proceedings of Business Process Management : 3rd International Conferenc,BPM 2005,pp. 153-168, 2005
  12. Sangiorgi,D.,and Walker,D.; The $\pi$-Calculus : A Theory of Mobile Processes,Cambridge University Press,Cambridge,UK
  13. Victor,B.,and Moller,F.; 'The Mobility Workbench - a tool for the $\pi$- Calculus,' Technical Report DoCS 94/45,Department of Computer Systems,Uppsala University,1994
  14. Wohed,P.,van der Aalst,W. M. P.,Dumas,M.,and ter Hofstede,A.; Analysis of Web service composition languages : The case of BPEL4WS.' Proceedings of 22nd International Conference on Conceptual Modelling (ER),Chicago,pp. 13-1,2003