Abstract operational semantics of the Business Process Execution Language for web services

Operational Semantics of the Business Process Execution Language for Web Services 1 Roozbeh Farahbod, Uwe Glässer and Mona Vajihollahi Simon Fraser University School of Computing Science {rfarahbo/glaesser/mvajihol}@cs.sfu.ca SFU-CMPT-TR 2004-03 April 2004 Partly supported through grants from NSERC and SFU President’s Research Grant.

[1]  Axel Martens,et al.  Usability of Web services , 2003, Fourth International Conference on Web Information Systems Engineering Workshops, 2003. Proceedings..

[2]  A. Martens.  Verteilte Gesch?aftsprozesse-Modellierung und Verifikation mit Hilfe von Web Services , 2004 .

[3]  Roozbeh Farahbod,et al.  Specification and Validation of the Business Process Execution Language for Web Services , 2004, Abstract State Machines.

[4]  Rudolf Schmid,et al.  Organization for the advancement of structured information standards , 2002 .

[5]  Andreas Prinz,et al.  The formal semantics of SDL-2000: Status and perspectives , 2003, Comput. Networks.

[6]  Egon Börger,et al.  Abstract State Machines. A Method for High-Level System Design and Analysis , 2003 .

[7]  Yuri Gurevich,et al.  The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions , 1995, CSL.

[8]  Axel Martens.  Analysis and Re-Engineering of Web Services , 2004, ICEIS.

[9]  Yuri Gurevich,et al.  Evolving algebras 1993: Lipari guide , 1995, Specification and validation methods.

[10]  C. Peltz,et al.  Web Services Orchestration and Choreography , 2003, Computer.

[11]  Wil M. P. van der Aalst,et al.  Analysis of Web Services Composition Languages: The Case of BPEL4WS , 2003, ER.

[12]  Yuri Gurevich,et al.  Sequential abstract-state machines capture sequential algorithms , 2000, TOCL.

[13]  Marlon Dumas,et al.  Pattern Based Analysis of BPML (and WSCI) , 2002 .

[14]  Nikolai Tillmann,et al.  Partial Updates: Exploration , 2001, J. Univers. Comput. Sci..

[15]  Franck van Breugel,et al.  Verication of Business Processes for Web Services , 2003 .

[16]  José M. Vidal,et al.  Multiagent systems with workflows , 2004, IEEE Internet Computing.

[17]  Sanjiva Weerawarana,et al.  The Business Process Execution Language for Web Services , 2005, Process-Aware Information Systems.

[18]  Sheila A. McIlraith,et al.  Simulation, verification and automated composition of web services , 2002, WWW.

[19]  Egon Brger,et al.  Formal de nition of an abstract VHDL''''93 simulator by EA - machines , 1995 .