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 -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 -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 -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 - 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 -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
|