A formal semantics for the business process execution language for web services

Proceedings of the Joint Workshop on Web Services and Model-Driven Enterprise Information Services, WSMDEIS 2005, in Conjunction with ICEIS 2005

Volumn , Issue , 2005, Pages 144-155

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

^a SIMON FRASER UNIVERSITY   (Canada)

Author keywords

Abstract operational semantics; Abstract state machines; BPEL4WS; Requirements specification; Web services orchestration

Indexed keywords

ABSTRACT STATE MACHINES; BPEL4WS; OPERATIONAL SEMANTICS; REQUIREMENTS SPECIFICATIONS; WEB SERVICES ORCHESTRATION;

ABSTRACTING; COMPUTER PROGRAMMING LANGUAGES; CONTOUR FOLLOWERS; FORMAL METHODS; INFORMATION RETRIEVAL; INFORMATION SERVICES; SEMANTIC WEB; SEMANTICS; SPECIFICATIONS;

WEB SERVICES;

EID: 33745129588     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)

1. Andrews, T., et al.: Business process execution language for web services version 1.1 (2003) Last visited Feb. 2005, http://www-106.ibm.com/ developerworks/ webservices/library/ws-bpel.
2. Organization for the Advancement of Structured Information Standards (OASIS): WS BPEL issues list. (2004) http: //www.oasis-open.org.
3. W3C: Web Services Description Language (WSDL) Version 1.2 Part 1: Core Language. (2003) Last visited May 2004, http://www.w3.org/TR/2003/ WD-wsd112-20030303.
4. Börger, E., Stärk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer-Verlag (2003)
5. ITU-T Recommendation Z. 100 Annex F (11/00): SDL Formal Semantics Definition. International Telecommunication Union. (2001)
6. Glässer, U., Gotzhein, R., Prinz, A.: The formal semantics of sdl-2000: status and perspectives. Comput. Networks 42 (2003) 343-358
7. Börger, E., Glässer, U., Müller, W.: Formal Definition of an Abstract VHDL'93 Simulator by EA-Machines. In Delgado Kloos, C., Breuer, P.T., eds.: Formal Semantics for VHDL. Kluwer Academic Publishers (1995) 107-139
8. Glässer, U., Gurevich, Y., Veanes, M.: An abstract communication architecture for modeling distributed systems. IEEE Trans. on Soft. Eng. 30 (2004) 458-472
9. Gurevich, Y.: Sequential Abstract State Machines Capture Sequential Algorithms. ACM Transactions on Computational Logic 1 (2000) 77-111
10. Farahbod, R., Glässer, U., Vajihollahi, M.: Specification and Validation of the Business Process Execution Language for Web Services. In: Proc. of the 11th Int'l Workshop on Abstract State Machines, Springer-Verlag (2004)
11. Farahbod, R.: Extending and refining an abstract operational semantics of the web services architecture for the business process execution language. Master's thesis, Simon Fraser University, Burnaby, Canada (2004)
12. Farahbod, R., Glässer, U., Vajihollahi, M.: Abstract Operational Semantics of the Business Process Execution Language for Web Services. Technical Report SFU-CMPT-TR-2005-04, Simon Fraser University (2005) Revised version of SFU-CMPT-TR-2004-03, April 2004.
13. Martens, A.: Analysis and re-engineering of web services. To appear in 6th International Conference on Enterprise Information Systems (ICEIS'04) (2004)
14. Schmidt, K., Stahl, C.: A petri net semantic for BPEL4WS - validation and application. In Kindler, E., ed.: Proceedings of 11th Workshop on Algorithms and Tools for Petri Nets. (2004)
15. Fahland, D.: Ein Ansatz einer formalen Semantik der Business Process Execution Language for Web Services mit Abstract State Machines. Technical report, Humboldt-Universität zu Berlin (2004)
16. Farahbod, R., Glässer, U., Vajihollahi, M.: Specification and Validation of the Business Process Execution Language for Web Services. Technical Report SFU-CMPT-TR-2003-06, Simon Fraser University (2003)
17. Nakajima, S.: Model-checking verification for reliable web service. In: OOPSLA 2002: Workshop on Object-Oriented Web Services. (2002)
18. Koshkina, M., van Breugel, F.: Verification of Business Processes for Web Services. Technical Report CS-2003-11, York University (2003)
19. Foster, H., Uchitel, S., Magee, J., Kramer, J.: Compatibility verification for web service choreography. In: Proceedings of the IEEE International Conference on Web Services (ICWS'04), IEEE Computer Society (2004) 738-741
20. Narayanan, S., McIlraith, S.A.: Simulation, verification and automated composition of web services. In: Proceedings of the eleventh international conference on World Wide Web, ACM Press (2002) 77-88
21. Farahbod, R., Gervasi, V., Glässer, U.: CoreASM: An extensible ASM execution engine. In: Proc. of the 12th Int'l Workshop on Abstract State Machines. (2005)