Analysis techniques for service models

Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation

Volumn , Issue , 2006, Pages 11-17

  Reisig, Wolfgang ^a   Fahland, Dirk ^a   Lohmann, Niels ^a   Massuthe, Peter ^a   Stahl, Christian ^a   Weinberg, Daniela ^a   Wolf, Karsten ^b   Kaschner, Kathrin ^b  

^a HUMBOLDT UNIVERSITY   (Germany)

^b UNIVERSITY OF ROSTOCK   (Germany)

Author keywords

Formal analysis; Service modeling; Service oriented architectures; Services

Indexed keywords

FORMAL METHODS; INFORMATION SERVICES;

ANALYSIS TECHNIQUES; FORMAL ANALYSIS; INTERORGANIZATIONAL BUSINESS PROCESS; REAL-WORLD; SERVICE MODEL; SERVICE-ORIENTED COMPUTING; SERVICES; WS-BPEL;

SERVICE ORIENTED ARCHITECTURE (SOA);

EID: 77956448489     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISoLA.2006.58     Document Type: Conference Paper

References (25)

1. Wil van der Aalst. The application of Petri nets to workflow management. Journal of Circuits, Systems and Computers, 8(1):21-66, 1998.
2. Wil van der Aalst and Mathias Weske. The P2P approach to in-terorganizational workflows. In Proceedings of the 13th International Conference on Advanced Information Systems Engineering (CAiSE'01), volume 2068 of Lecture Notes in Computer Science, pages 140-156. Springer-Verlag, 2001.
3. Alexandre Alves, Assaf Arkin, Sid Askary, Ben Bloch, Francisco Curbera, Mark Ford, Yaron Goland, Alejandro Guízar, Neelakantan Kartha, Canyang Kevin Liu, Rania Khalaf, Dieter König, Mike Marin, Vinkesh Mehta, Satish Thatte, Danny van der Rijn, Prasad Yendluri, and Alex Yiu. Web Services Business Process Execution Language Version 2.0. Public Review Draft 02, 20 November, 2006, OASIS, November 2006.
4. Saartje Brockmans, Marc Ehrig, Agnes Koschmider, Andreas Oberweis, and Rudi Studer. Semantic Alignment of Business Processes. In Y. Manolopoulos; J. Filipe; P. Constantopoulos; J. Cordeiro, editor, Proceedings of the Eighth International Conference on Enterprise Information Systems (ICEIS 2006), pages 191-196, Paphos, Cyprus, MAY 2006. INSTICC Press.
5. Erik Christensen, Francisco Curbera, Greg Meredith, and Sanjiva Weer-avarana. Web Service Discription Language (WSDL) 1.1. Technical report, Ariba, International Business Machines Corporation, Microsoft, March 2001.
6. Frank DeRemer and Hans H. Kron. Programming-in-the-large versus programming-in-the-small. IEEE Trans. Software Eng., 2(2):80-86, 1976.
7. Karl Gottschalk. Web Services architecture overview. IBM whitepaper, IBM developerWorks, September 2000. http://ibm.com/developerWorks/web/library/w-ovr/ .
8. Sebastian Hinz, Karsten Schmidt, and Christian Stahl. Transforming BPEL to Petri nets. In W.M.P. van der Aalst, B. Benatallah, F. Casati, and F. Curbera, editors, Proceedings of the Third International Conference on Business Process Management (BPM 2005), volume 3649 of Lecture Notes in Computer Science, pages 220-235, Nancy, France, September 2005. Springer-Verlag.
9. Yannis Kalfoglou and W. Marco Schorlemmer. Ontology Mapping: The State of the Art. In Yannis Kalfoglou, W. Marco Schorlemmer, Amit P. Sheth, Steffen Staab, and Michael Uschold, editors, Semantic Interoperability and Integration, volume 04391 of Dagstuhl Seminar Proceedings. IBFI, Schloss Dagstuhl, Germany, 2005.
10. Kathrin Kaschner, Peter Massuthe, and Karsten Wolf. Symbolische Repräsentation von Bedienungsanleitungen für Services. In Daniel Moldt, editor, 13. Workshop "Algorithmen und Werkzeuge fü r Petrinetze" (AWPN 2006), Proceedings, pages 54-61. Universität Hamburg, September 2006. in German.
11. Frank Leymann, Dieter Roller, and Marc-Thomas Schmidt. Web services and business process management. IBM Systems Journal, 41(2):198-211, 2002.
12. Niels Lohmann, Peter Massuthe, Christian Stahl, and Daniela Weinberg. Analyzing Interacting BPEL Processes. In Business Process Management, 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006,
13. Proceedings, volume 4102 of Lecture Notes in Computer Science, pages 17-32. Springer-Verlag, September 2006.
14. Niels Lohmann, Peter Massuthe, Christian Stahl, and Daniela Weinberg. Analyzing Interacting WS-BPEL Processes. Data & Knowledge Engineering (DKE), 2007. to appear.
15. Axel Martens. Algorithmic Generation of the Public View. Technical report, Humboldt-Universität zu Berlin, March 2002.
16. Axel Martens. Analyzing Web Service based Business Processes. In Maura Cerioli, editor, Proceedings of Intl. Conference on Fundamental Approaches to Software Engineering (FASE'05), Part of the 2005 European Joint Conferences on Theory and Practice of Software (ETAPS'05), volume 3442 of Lecture Notes in Computer Science, pages 19-33, Edinburgh, Scotland, April 2005. Springer-Verlag.
17. Peter Massuthe, Wolfgang Reisig, and Karsten Schmidt. An Operating Guideline Approach to the SOA. Annals of Mathematics, Computing & Teleinformatics, 1(3):35-43, 2005.
18. Peter Massuthe and Karsten Schmidt. Operating Guidelines-An Automata-Theoretic Foundation for the Service-Oriented Architecture. In Kai-Yuan Cai, Atsushi Ohnishi, and M.F. Lau, editors, Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), pages 452-457, Melbourne, Australia, September 2005. IEEE Computer Society.
19. Peter Massuthe and Karsten Wolf. An Algorithm for Matching Non-deterministic Services with Operating Guidelines. In Frank Leymann, Wolfgang Reisig, Satish R. Thatte, and Wil M. P. van der Aalst, editors, The Role of Business Processes in Service Oriented Architectures, number 06291 in Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
20. Mike P. Papazoglou. Agent-oriented technology in support of e-business. Communications of the ACM, 44(4):71-77, 2001.
21. Wolfgang Reisig, Karsten Schmidt, and Christian Stahl. Kommunizierende Workflow-Services modellieren und analysieren. Informatik - Forschung und Entwicklung, pages 90-101, October 2005.
22. Karsten Schmidt. Controllability of Open Workflow Nets. In Jörg Desel and Ulrich Frank, editors, Enterprise Modelling and Information Systems Architectures, number P-75 in Lecture Notes in Informatics (LNI), pages 236-249. Entwicklungsmethoden für Informationssysteme und deren Anwendung (EMISA, RWTH Aachen), Bonner Köllen Verlag, 2005.
23. Christian Stahl. A Petri Net Semantics for BPEL. Techn. Report 188, Humboldt-Universität zu Berlin, July 2005.
24. The OWL Services Coalition. OWL-S: Semantic Markup for Web Services. http://www.daml.org/services/, 2003.
25. Daniela Weinberg. Reduction Rules for Interaction Graphs. Techn. Report 198, Humboldt-Universität zu Berlin, February 2006.