Browse > Article

The Formalization of Business Process Modeling Language for Business Process Management  

Lee, Kang-Bae (Division of Management Information Science, Dong-A University)
Yu, Sung-Yeol (School of Business Administration, Catholic University of Pusan)
Publication Information
Journal of Korean Society of Industrial and Systems Engineering / v.29, no.3, 2006 , pp. 119-127 More about this Journal
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
BPM; BPML; Formalization; ${\pi}-Calculus$;
Citations & Related Records
연도 인용수 순위
  • Reference
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 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
3 Milner,R.; Communicating and Mobile Systems : the $\pi$-Calculus,Cambridge University Press,Cambridge,UK,1999
4 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
5 Sangiorgi,D.,and Walker,D.; The $\pi$-Calculus : A Theory of Mobile Processes,Cambridge University Press,Cambridge,UK
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 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
8 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
9 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
10 Peltz,C.; Web Service Orchestration. A Review of emerging technologies, tools,and standards,Hewlett Packard,CO.,2003
11 Browning,T. R.; 'Process Integration Using the Design Structure Matrix,' Systems Engineering, 5(3) : 180-193,2002   DOI   ScienceOn
12 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   DOI   ScienceOn
13 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
14 Arkin,A.; Business Process Modeling Language,BPMI.org,2002