참고문헌
- 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
- 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
- Arkin,A.; Business Process Modeling Language,BPMI.org,2002
- Browning,T. R.; 'Process Integration Using the Design Structure Matrix,' Systems Engineering, 5(3) : 180-193,2002 https://doi.org/10.1002/sys.10023
-
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 - 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
- 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
-
Milner,R.; Communicating and Mobile Systems : the
$\pi$ -Calculus,Cambridge University Press,Cambridge,UK,1999 - 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
- Peltz,C.; Web Service Orchestration. A Review of emerging technologies, tools,and standards,Hewlett Packard,CO.,2003
-
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 -
Sangiorgi,D.,and Walker,D.; The
$\pi$ -Calculus : A Theory of Mobile Processes,Cambridge University Press,Cambridge,UK -
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 - 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