Analyzing Web service based business processes

Lecture Notes in Computer Science

Volumn 3442, Issue , 2005, Pages 19-33

  Martens, Axel ^a,b  

^a HUMBOLDT UNIVERSITY   (Germany)

^b IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

BPEL4WS; Business Process Modeling; Petri nets; Tool based Verification; Web Service

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SYSTEM RECOVERY; ELECTRONIC COMMERCE; PETRI NETS; SEMANTICS; USABILITY ENGINEERING;

BPEL4WS; BUSINESS PROCESS MODELING; TOOL BASED VERIFICATION; WEB SERVICE;

WORLD WIDE WEB;

EID: 24644509903     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31984-9_3     Document Type: Conference Paper

References (27)

1. Gustavo Alonso, Fabio Casati, Harumi Kuno, and Vijay Machiraju. Web Services. Springer-Verlag, December 2002.
2. Andrews, Curbera, Dholakia, Goland, Klein, Leymann, Liu, Roller, Smith, Thatte, Trickovic, and Weerawarana. BPEL/4WS - Business Process Execution Language for Web Services. OASIS, Standard proposal, Version 1.1, July 2002.
3. H. Ben-Abdallah and S. Leue. Syntactic detection of process divergence and non-local choice in message sequence charts. LNCS 1217. Springer Verlag, 1997.
4. Karl Gottschalk. Web Services architecture overview. IBM developer Works, Whitepaper, September 2000. http://ibm.com/developerWorks.
5. Paul W.P.J. Grefen and Samuil Angelov. Three-Level Process Specification for Dynamic Service Outsourcing. LNCS 2472. Springer-Verlag, 2003.
6. Rachid Hamadi and Boualem Benatallah. A Petri Net based Model for Web Service Composition. In Proc. of ADC 2003. Australian Computer Society, Inc., 2003.
7. Kavantzas, Burdett, Ritzinger, and Lafon. Web Services Choreography Description Language. W3C Working Draft, Version 1.0, October 2004.
8. E. Kindler, A. Martens, and W. Reisig. Inter-operability of Workshop Applications - Local Criteria for Global Soundness. LNCS 1806. Springer-Verlag, 2000.
9. Heather Kreger. WSCA - Web Services Conceptual Architecture. IBM Software Group, Whitepaper, 2001. http://ibm.com/webservices/pdf/WSCA.pdf.
10. Axel Martens. On compatibility of web services. Petri Net Newsletter, 65:12-20, October 2003.
11. Axel Martens. On Usability of Web Services. In Calero, Diaz, and Piattini, editors, Proc. of Intl. Conference Workshop WQW 2003, Rome, Italy, December 2003.
12. Axel Martens. Verteilte Geschäftsprozesse - Modellierung und Verifikation mit Hilfe von Web Services. PhD thesis, WiKu-Verlag Stuttgart, 2004.
13. Axel Martens. Simulation and equivalence between bpel process models. In Proc. of Intl. Conference DASD'05, San Diego, California, April 2005.
14. Flemming Nielson, Hanne R. Nielson, and Chris Hankin. Principles of Program Analysis. Springer-Verlag, 1999.
15. Alexander Norta. Web Supported Enactment of Petri-Net Based Workflows with XRL/flower. LNCS 3099. Springer-Ver lag, June 2004.
16. W. Reisig. Petri Nets. Springer-Verlag, 1985.
17. W. Reisig. Elements of Distributed Algorithms - Modeling and Analysis with Petri Nets. Springer-Verlag, 1998.
18. K. Schmidt and Ch. Stahl. A Petri net semantic for BPEL. In Ekkart Kindler, editor, Proc. of 11th Workshop AWPN. Paderborn University, October 2004.
19. Karsten Schmidt. Explicit State Space Verification. Postdoctoral thesis, Humboldt-Universität zu Berlin, 2002.
20. W. M. P. van der Aalst. Modeling and Analyzing Interorganizational Workflows. In Proc. of CSD'98. IEEE Computer Society Press, 1998.
21. W. M. P. van der Aalst. The Application of Petri Nets to Workflow Management. Journal of Circuits, Systems and Computers, 8(1):21-66, 1998.
22. W. M. P. van der Aalst. Interorganizational Workflows - An Approach based on MSC and Petri Nets. Systems Analysis - Modelling - Simulation, 34(3), 1999.
23. W.M.P. van der Aalst and A.H.M. ter Hofstede. Yawl: Yet another workflow language. Qut technical report, fit-tr-2003-04, Queensland University of Technology, Brisbane, Australia, 2003.
24. Rob J. van Glabbeek. The Linear Time - Branching Time Spectrum. In Baeten and Klop, editors, Proceedings CONCUR 90, LNCS 458. Springer-Verlag, 1990.
25. Web-Ontology Working Group. Ontology Web Language for Web Services. OWL-S 1.1, November 2004.
26. A. Wombacher, P. Fankhauser, B. Mahleko, and E. Neuhold. Matchmaking for Business Processes. In Proc. of EEE-04- IEEE Computer Society, 2004.
27. WOMBAT4ws. Workflow Modeling and Business Analysis Toolkit for Web Services. hompage, http://www.informatik.hu-berlin.de/top/wombat/.