Efficient analysis of BPEL 2.0 processes using π-Calculus

Proceedings of The 2nd IEEE Asia-Pacific Services Computing Conference, APSCC 2007

Volumn , Issue , 2007, Pages 266-274

  Weidlich, Matthias ^a   Decker, Gero ^a   Weske, Mathias ^a  

^a UNIVERSITY OF POTSDAM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DIFFERENTIATION (CALCULUS); INFORMATION SERVICES; MATHEMATICAL TECHNIQUES; STANDARDS; WEB SERVICES;

ASIA PACIFIC; BUSINESS PROCESS EXECUTION LANGUAGE (BPEL); CONSISTENCY CHECKING; DE FACTO STANDARDS; EFFICIENT ANALYSIS; SERVICE COMPOSITIONS; STATE EXPLOSIONS;

CALCULATIONS;

EID: 47349107774     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APSCC.2007.4414470     Document Type: Conference Paper

References (23)

1. J. Arias-Fisteus, L. S. Fernández, and C. D. Kloos. Formal verification of bpel4ws business collaborations. In EC-Web, volume 3182 of LNCS, pages 76-85. Springer, 2004.
2. S. Briais. Advanced Bisimulation Checker (ABC). http://lamp.epfl.ch/ ~sbriais/abc/abc.html, 2007.
3. C. Ouyang, W.M.P. van der Aalst, S. Breutel, M. Dumas, A.H.M. ter Hofstede, and H.M.W. Verbeek. Formal Semantics and Analysis of Control Flow in WS-BPEL. Technical report, BPM Center Report BPM-05-15, 2005.
4. C. Canal, E. Pimentel, and J. M. Troya. Compatibility and inheritance in software architectures. Sci. Comput. Program., 41(2):105-138, 2001.
5. G. Decker and M. Weske. Behavioral Consistency for B2B Process Integration. In CAISE, Trondheim, Norway, 2007.
6. M. Fadlisyah. Using the π-Calculus for Modeling and Verifying Processes on Web Services. Master's thesis, Insitute for Theoretical Computer Science, Dresden University of Technology, 2004.
7. D. Fahland. Formal Operational Semantics of BPEL4WS. Informatic Berichte 190, Humboldt-Universitt zu Berlin, 2005.
8. D. Fahland and W. Reisig. ASM-based semantics for BPEL: The negative Control Flow. In 12th International Workshop on Abstract State Machines. Lecture Notes in Computer Science. Springer-Verlag, March 2005.
9. A. Ferrara. Web services: A process algebra approach. CoRR, cs.AI/0406055, 2004.
10. S. Hinz, K. Schmidt, and C. Stahl. Transforming BPEL to Petri Nets. In W. M. P. v. d. Aalst, B. Benatallah, F. Casati, and F. Curbera, editors, BPM, volume 3649 of LNCS, pages 220-235, Nancy, France, Sept. 2005. Springer-Ver lag.
11. N. Lohmann, C. Gierds, and M. Znamirowski. BPEL2oWFN. http://www.gnu.org/software/bpe12owfn/, 2007.
12. A. Martens. On Compatibility of Web Services. Petri Net Newsletter, 65:12-20, 2003.
13. M. Mazzara and R. Lucchi. A pi-calculus based semantics for WS-BPEL. Journal of Logic and Algebraic Programming, 2006. To appear.
14. R. Milner. Communicating and Mobile Systems: the PiCalculus. Cambridge University Press, 1999.
15. OASIS. Web Services Business Process Execution Language Version 2.0, April 2007.
16. OMG. Business Process Modeling Notation (BPMN) Specification Version 1.0, February 2006.
17. F. Puhlmann. Why do we actually need the pi-calculus for business process management? In BIS, volume 85 of LNI, pages 77-89. GI, 2006.
18. F. Puhlmann and M. Weske. Using the pi-calculus for formalizing workflow patterns. In BPM, volume 3649, pages 153-168, 2005.
19. F. Puhlmann and M. Weske. Interaction Soundness for Service Orchestrations. In A. Dan and W. Lamersdorf, editors, ICSOC, volume 4294 of LNCS, pages 302-313. Springer Verlag, December 2006.
20. D. Sangiorgi. A Theory of Bisimulation for the pi-Calculus. Acta Informatica, 16(33):69-97, 1996.
21. C. Stahl. Transformation von BPEL4WS in Petrinetze. Diplomarbeit, Humboldt-Universitt zu Berlin, Apr. 2004.
22. P. H. Starke and S. Roch. Integrated Net Analyser. http://www2. informatik.hu-berlin.de/lehrstuehle/automaten/ina/, April 1999.
23. M. Weidlich and G. Decker. Efficient Analysis of BPEL 2.0 Processes using Pi-Calculus - Example Processes. http://bpt.hpi.uni-potsdam.de/twiki/pub/ Public/GeroDecker/bpe12piprocesses.pdf, 2007.