An abstract machine architecture for Web service based Business Process management

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

Volumn 3812 LNCS, Issue , 2005, Pages 144-157

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

^a SIMON FRASER UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; COMPUTER ARCHITECTURE; MACHINE ORIENTED LANGUAGES; ROBUSTNESS (CONTROL SYSTEMS); WORLD WIDE WEB;

ABSTRACT MACHINE ARCHITECTURE; BPEL ABSTRACT MACHINE; BUSINESS PROCESS MANAGEMENT; WEB SERVICE;

ADMINISTRATIVE DATA PROCESSING;

EID: 33745146188     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (26)

1. Andrews, T., et al.: Business process execution language for web services version 1.1 (2003) Last visited Feb. 2005, http://ifr.sap.com/bpe14ws/.
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.
4. Börger, E., Stärk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer-Verlag (2003)
5. Glässer, U., Gotzhein, R., Prinz, A.: The formal semantics of SDL-2000: status and perspectives. Comput. Networks 42 (2003) 343-358
6. 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
7. Börger, E.: The ASM ground model method as a foundation for requirements engineering. In: Verification: Theory and Practice. (2003) 145-160
8. Gurevich, Y.: Sequential Abstract State Machines Capture Sequential Algorithms. ACM Transactions on Computational Logic 1 (2000) 77-111
9. 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)
10. 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)
11. Glässer, U., Gurevich, Y., Veanes, M.: An abstract communication architecture for modeling distributed systems. IEEE Trans. on Soft. Eng. 30 (2004) 458-472
12. Vajihollahi, M.: High level specification and validation of the business process execution language for web services. Master's thesis, Simon Fraser University, Burnaby, Canada (2004)
13. 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.
14. Börger, E.: The ASM Refinement Method. Formal Aspects of Computing (2003) 237-257
15. Johnson, C.W.: Literate specifications. Software Engineering Journal 11 (1996) 225-237
16. Martens, A.: Analysis and re-engineering of web services. To appear in 6th International Conference on Enterprise Information Systems (ICEIS'04) (2004)
17. 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)
18. Fahland, D., Reisig, W.: ASM-based semantics for BPEL: The negative control flow. In: Proc. of the 12th Int'l Workshop on Abstract State Machines. (2005)
19. 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)
20. Farahbod, R., Glässer, U., Vajihollahi, M.: A formal semantics for the business process execution language for Web Services. In Bevinakoppa, S., et al., eds.: Web Services and Model-Driven Enterprise Information Systems, Portugal, INSTICC Press (2005) 144-155
21. Nakajima, S.: Model-checking verification for reliable web service. In: OOPSLA 2002: Workshop on Object-Oriented Web Services. (2002)
22. Martens, A.: Verteilte Geschftsprozesse - Modellierung und Verifikation mit Hilfe von Web Services. PhD thesis, Humboldt University of Berlin, Germany (2003)
23. Koshkina, M., van Breugel, F.: Verification of Business Processes for Web Services. Technical Report CS-2003-11, York University (2003)
24. 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
25. van der Aalst, W., Dumas, M., ter Hofstede, A., Wohed, P.: Analysis of web services composition languages: The case of bpel4ws. 1st Web Services Quality Workshop (WQW 2003) (2003)
26. van der Aalst, W., Dumas, M., ter Hofstede, A., Wohed, P.: Pattern-Based Analysis of BPML (and WSCI). Technical Report FIT-TR-2002-05, Queensland University of Technology (2002)