Specification and validation of the business process execution language for web services

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3052, Issue , 2004, Pages 78-94

  Farahbod, Roozbeh ^a   Glässer, Uwe ^a   Vajihollahi, Mona ^a  

^a SIMON FRASER UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; SEMANTIC WEB; SEMANTICS; SPECIFICATIONS; WEBSITES;

ASYNCHRONOUS COMMUNICATION; BUSINESS PROCESS; BUSINESS PROCESS EXECUTION LANGUAGE FOR WEB SERVICES; CONTINUOUS INTERACTIONS; EXECUTABLE SEMANTICS; EXECUTION MODEL; REACTIVE BEHAVIOR; SYSTEM PROPERTY;

WEB SERVICES;

EID: 35048884273     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24773-9_7     Document Type: Article

References (21)

1. A. Benczur, U. Glässer and T. Lukovszki. Formal Description of a Distributed Location Service for Ad Hoc Mobile Networks. In E. Börger, A. Gargantini, E. Riccobene (Eds.): Abstract State Machines 2003 - Advances in Theory and Practice, vol. 2589 of LNCS, pages 204-217, Springer, 2003.
2. E. Börger. The Origins and the Development of the ASM Method for High Level System Design and Analysis. Journal of Universal Computer Science, vol. 8, no. 1, pages 2-74, 2003.
3. E. Börger, U. Glässer and W. Müller. The Semantics of Behavioral VHDL'92 Descriptions. In Proc. of EURO-VHDL'94, pages 500-505, Grenoble, France, Sep. 1994.
4. E. Börger, U. Glässer and W. Müller. Formal Definition of an VHDL'93 Simulator by EA-Machines. In C. Delgado Kloos and Peter T. Breuer (Eds.): Formal Semantics for VHDL, Kluwer Academic Publishers, 1995, 107-139.
5. E. Börger, and R. Stärk. Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, 2003.
6. Business Process Execution Language for Web Services Version 1.1, BEA Systems, International Business Machines Corporation, Microsoft Corporation, SAP AG, Siebel Systems, May 2003.
7. R. Eschbach , U. Glässer, R. Gotzhein, M. von Löwis and A. Prinz. Formal Definition of SDL-2000 - Compiling and Running SDL Specifications as ASM Models. Journal of Universal Computer Science, 7(11): 1025-1050, Springer Pub. Co., Nov. 2001.
8. R. Eschbach, U. Glässer, R. Gotzhein and A. Prinz. On the Formal Semantics of SDL-2000: a Compilation Approach Based on an SDL Machine. In Y. Gurevich, P.W. Kutter, M. Odersky and L. Thiele (Eds.): Abstract State Machines - Theory and Application, vol. 1912 of LNCS, pages 244-265, Springer-Verlag, 2000.
9. R. Farahbod, U. Glässer, M. Vajihollahi, Specification and Validation of the Business Process Execution Language for Web Services, SFU-CMPT-TR-2003-06, Sep. 2003
10. N. E. Fuchs. Specifications are (Preferably) Executable. Software Engineering Journal, September 1992, pp323-324
11. U. Glässer, R. Gotzhein and A. Prinz. Formal Semantics of SDL-2000: Status and Perspectives. Computer Networks, Volume 42, Issue 3, pages 343-358 (June 2003), ITU-T System Design Languages (SDL), Elsevier, 2003
12. U. Glässer, Y. Gurevich, and M. Veanes. An Abstract Communication Architecture for Modeling Distributed Systems. Submitted to IEEE TSE, 2003.
13. U. Glässer and M. Veanes. Universal Plug and Play Machine Models: Modeling with Distributed Abstract State Machines. In B. Kleinjohann, K. H. Kim, L. Kleinjohann, A. Rettberg (Eds.): Design and Analysis of Distributed Embedded Systems, Kluwer Academic Publishers, 2002
14. Y. Gurevich. Evolving Algebras 1993: Lipari Guide. In E. Börger, editor, Specification and Validation Methods, pages 9-36. Oxford University Press, 1995.
15. Y. Gurevich and J. Huggins. The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions. In H.K. Büning, editor, Computer Science Logic, Springer LNCS volume 1092, pages 266-290, 1996.
16. Y. Gurevich and N. Tillmann. Partial Updates: Exploration. Springer J. of Universal Computer Science, vol. 7, no. 11 (2001), pages 918-952.
17. I.J. Hayes, and C.B. Jones. Specifications are not (necessarily) executable. Software Engineering Journal, 1989,4, (6), pp. 330-338
18. Microsoft Research: AsmL, www.research.microsoft.com/foundations/AsmL
19. SOAP Version 1.2 Part 0: Primer, W3C Recommendation 24 June 2003, www.w3c.org/TR/soap12-part0/
20. Web Services Description Language (WSDL) Version 1.2 Part 1: Core Language, W3C Working Draft 11 June 2003, www.w3.org/TR/wsdl12
21. WSBPEL TC at the Organization of Advancement of Structured Information Standards (OASIS), www.oasis-open.org.