Interacting services: From specification to execution

Data and Knowledge Engineering

Volumn 68, Issue 10, 2009, Pages 946-972

  Decker, Gero ^a   Kopp, Oliver ^b   Leymann, Frank ^b   Weske, Mathias ^a  

^a UNIVERSITY OF POTSDAM   (Germany)

^b UNIVERSITY OF STUTTGART   (Germany)

Author keywords

Choreography; Service interaction modeling

Indexed keywords

BUSINESS PARTNERS; BUSINESS PROCESS INTEGRATION; CHOREOGRAPHY; ELECTRONIC MESSAGE; INDUSTRY STANDARDS; SEAMLESS INTEGRATION; SERVICE INTERACTION MODELING; SERVICE ORCHESTRATION; WS-BPEL;

LINGUISTICS;

QUERY LANGUAGES;

EID: 69249210990     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.datak.2009.04.003     Document Type: Article

References (60)

1. Aalst W.M.P.v.d., Lohmann N., Massuthe P., Stahl C., and Wolf K. From public views to private views - correctness-by-design for services. Proceedings Fourth International Workshop on Web Services and Formal Methods (WS-FM). Lecture Notes in Computer Science vol. 4937 (2007), Springer Verlag
2. Aalst W.M.P.v.d., ter Hofstede A.H.M., Kiepuszewski B., and Barros A.P. Workflow patterns. Distributed and Parallel Databases 14 1 (2003) 5-51
3. A. Arkin et al., Web Service Choreography Interface (WSCI) 1.0, World Wide Web Consortium, August 2002, .
4. A. Banerji et al., Web Services Conversation Language (WSCL) 1.0, W3C Note, March 2002, .
5. A. Barros, G. Decker, M. Dumas, Multi-staged, multi-viewpoint service choreography modelling, in: Proceedings Workshop on Software Engineering Methods for Service Oriented Architecture (SEMSOA), CEUR Workshop Proceedings, No. 244, 2007.
6. Barros A., Dumas M., and Oaks P. A critical overview of WS-CDL. BPTrends 3 3 (2005)
7. Barros A., Dumas M., and ter Hofstede A. Service interaction patterns. Proceedings Third International Conference on Business Process Management (BPM). Lecture Notes in Computer Science vol. 3649 (2005), Springer Verlag
8. Basten T., and van der Aalst W.M.P. Inheritance of behavior. Journal of Logic and Algebraic Programming 47 2 (2001) 47-145
9. S. Burbeck, The Tao of e-Business Services: The Evolution of Web Applications into Service-oriented Components with Web Services, October 2000, .
10. Canal C., Pimentel E., and Troya J.M. Compatibility and inheritance in software architectures. Science of Computer Programming 41 2 (2001) 105-138
11. Chappell D. Enterprise Service Bus (2004), O'Reilly Media, Inc.
12. E. Christensen, F. Curbera, G. Meredith, S. Weerawarana, Web Services Description Language (WSDL) 1.1, March 2001, http://www.w3.org/TR/2001/NOTE-wsdl-20010315/.
13. J. Clark, C. Casanave, K. Kanaskie, B. Harvey, N. Smith, J. Yunker, K. Riemer, ebXML Business Process Specification Schema Version 1.01, UN/CEFACT and OASIS, May 2001, .
14. F. Curbera, F. Leymann, T. Storey, D. Ferguson, S. Weerawarana, Web Services Platform Architecture: SOAP, WSDL, WS-Policy, WS-Addressing, WS-BPEL, WS-Reliable Messaging and More, Prentice Hall PTR, 2005.
15. Decker G., and Barros A. Interaction modeling using BPMN. Proceedings First International Workshop on Collaborative Business Processes (CBP). Lecture Notes in Computer Science vol. 4928 (2007), Springer Verlag
16. Decker G., Kopp O., and Barros A. An introduction to service choreographies. Information Technology 50 2 (2008) 122-127
17. Decker G., Kopp O., Leymann F., and Weske M. BPEL4Chor: extending BPEL for modeling choreographies. Proceedings IEEE 2007 International Conference on Web Services (ICWS) (2007), IEEE Computer Society
18. Decker G., Kopp O., Leymann F., and Weske M. Modeling service choreographies using BPMN and BPEL4Chor. Proceedings of the 20th International Conference on Advanced Information Systems Engineering (CAiSE). Lecture Notes in Computer Science vol. 5074 (2008), Springer Verlag
19. Decker G., Kopp O., and Puhlmann F. Service referrals in BPEL-based choreographies. Second European Young Researchers Workshop on Service Oriented Computing (YR-SOC) (2007), University of Leicester
20. G. Decker, H. Overdick, J.M. Zaha, On the suitability of WS-CDL for choreography modeling, in: Proceedings of Methoden, Konzepte und Technologien für die Entwicklung von dienstebasierten Informationssystemen (EMISA), Lecture Notes in Informatics, vol. P-95, 2006.
21. Decker G., and Weske M. Behavioral consistency for B2B process integration. Proceedings 19th International Conference on Advanced Information Systems Engineering (CAiSE). Lecture Notes in Computer Science vol. 4495 (2007), Springer Verlag
22. Decker G., and Weske M. Instance isolation analysis for service-oriented architectures. Proceedings of the IEEE 2008 International Conference on Services Computing (SCC) (2008), IEEE Computer Society
23. Dijkman R., and Dumas M. Service-oriented design: a multi-viewpoint approach. International Journal of Cooperative Information Systems 13 4 (2004) 337-368
24. Ferguson D.F., and Stockton M. Enterprise business process management - architecture, technology and standards. Proceedings Fourth International Conference on Business Process Management (BPM). Lecture Notes in Computer Science vol. 4102 (2006), Springer Verlag
25. Hofreiter B., Huemer C., Liegl P., Schuster R., and Zapletal M. UN/CEFACT'S modeling methodology (UMM): a UML profile for B2B e-commerce. Advances in Conceptual Modeling - Theory and Practice, ER 2006 Workshops BP-UML, CoMoGIS, COSS, ECDM, OIS, QoIS, SemWAT. Lecture Notes in Computer Science vol. 4231 (2006), Springer Verlag
26. Hofreiter B., Huemer C., Liegl P., Schuster R., and Zapletal M. Deriving executable BPEL from UMM business transactions. IEEE International Conference on Services Computing (SCC) (2007), IEEE Computer Society
27. Kang Z., Wang H., and Hung P.C. WS-CDL+: an extended WS-CDL execution engine for web service collaboration. Proceedings IEEE 2007 International Conference on Web Services (ICWS) (2007), IEEE Computer Society
28. N. Kavantzas, D. Burdett, G. Ritzinger, Y. Lafon, Web Services Choreography Description Language Version 1.0, W3C Candidate Recommendation, W3C, November 2005, .
29. Khalaf R. From RosettaNet PIPs to BPEL processes: a three level approach for business protocols. Data and Knowledge Engineering 61 (2006) 23-38
30. M. Kloppmann, D. Koenig, F. Leymann, G. Pfau, A. Rickayzen, C. von Riegen, P. Schmidt, I. Trickovic, WS-BPEL Extension for Sub-processes - BPEL-SPE, IBM, SAP, 2005.
31. D. König, N. Lohmann, S. Moser, C. Stahl, K. Wolf, Extending the compatibility notion for abstract WS-BPEL processes, in: Proceedings 17th International Conference on World Wide Web (WWW), ACM, 2008.
32. O. Kopp, T. van Lessen, J. Nitsche, The need for a choreography-aware service bus, in: Proceedings Third European Young Researchers Workshop on Service Oriented Computing (YR-SOC), 2008.
33. D. Krafzig, K. Banke, D. Slama, Enterprise SOA: Service-Oriented Architecture Best Practices (The Coad Series), Prentice Hall PTR, 2004.
34. F. Leymann, Web Services Flow Language (WSFL 1.0), IBM Software Group, May 2001.
35. Leymann F. The (service) bus: services penetrate everyday life. Proceedings of the Third International Conference on Service Oriented Computing (ICSOC). Lecture Notes in Computer Science vol. 3826 (2005), Springer Verlag
36. Leymann F. Workflow-based coordination and cooperation in a service world. Proceedings 14th International Conference on Cooperative Information Systems (CoopIS). Lecture Notes in Computer Science vol. 4275 (2006), Springer Verlag
37. Lohmann N., Kopp O., Leymann F., and Reisig W. Analyzing BPEL4Chor: verification and participant synthesis. Proceedings Fourth International Workshop on Web Services and Formal Methods (WS-FM). Lecture Notes in Computer Science vol. 4937 (2007), Springer Verlag
38. Martens A. Analyzing web service based business processes. In: Cerioli M. (Ed). Proceedings of International Conference on Fundamental Approaches to Software Engineering (FASE), Part of the European Joint Conferences on Theory and Practice of Software (ETAPS). Lecture Notes in Computer Science vol. 3442 (2005), Springer Verlag
39. Martens A. Consistency between executable and abstract processes. Proceedings IEEE International Conference on e-Technology, e-Commerce, and e-Services (EEE) (2005), IEEE Computer Society
40. Massuthe P., Reisig W., and Schmidt K. An operating guideline approach to the SOA. Annals of Mathematics, Computing and Teleinformatics 1 3 (2005) 35-43
41. Mendling J., and Hafner M. From inter-organizational workflows to process execution: generating BPEL from WS-CDL. Proceedings of OTM 2005 Workshops. Lecture Notes in Computer Science vol. 3762 (2005), Springer Verlag
42. Mulyar N., Aldred L., and van der Aalst W.M.P. The conceptualization of a configurable multi-party multi-message request-reply conversation. Proceedings of the Distributed Objects and Applications (DOA) International Conference. Lecture Notes in Computer Science vol. 4803 (2007), Springer Verlag
43. Nitzsche J., van Lessen T., Karastoyanova D., and Leymann F. BPEL for semantic web services (BPEL4SWS). On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops. Lecture Notes in Computer Science vol. 4805 (2007), Springer Verlag
44. light. Proceedings Fifth International Conference on Business Process Management (BPM). Lecture Notes in Computer Science vol. 4714 (2007), Springer Verlag
45. light for expressing multi-partner message exchange patterns. 12th International IEEE Enterprise Distributed Object Computing Conference (EDOC) (2008), IEEE Computer Society
46. Nitzsche J., van Lessen T., and Leymann F. WSDL 2.0 message exchange patterns: limitations and opportunities. Third International Conference on Internet and Web Applications and Services (ICIW) (2008), IEEE Computer Society
47. Object Management Group, OMG Unified Modeling Language Specification, v1.4, 2001.
48. Object Management Group, Business Process Modeling Notation, V1.1 - OMG Available Specification, January 2008.
49. Organization for the Advancement of Structured Information Standards (OASIS), SCA Assembly Model Specification, V1.00, March 2007.
50. Organization for the Advancement of Structured Information Standards (OASIS), SCA Client and Implementation Model Specification for WS-BPEL, March 2007.
51. Organization for the Advancement of Structured Information Standards (OASIS), Web Services Business Process Execution Language Version 2.0 - OASIS Standard, March 2007.
52. Ouyang C., Dumas M., Breutel S., and ter Hofstede A.H. Translating standard process models to BPEL. Proceedings 18th International Conference on Advanced Information Systems Engineering (CAiSE). Lecture Notes in Computer Science vol. 4001 (2006), Springer Verlag
53. Pesic M., Schonenberg M.H., Sidorova N., and van der Aalst W.M.P. Constraint-based workflow models: change made easy. Proceedings 15th International Conference on Coopartive Information Systems (CoopIS). Lecture Notes in Computer Science vol. 4803 (2007), Springer Verlag
54. K. Pfitzner, G. Decker, O. Kopp, F. Leymann, Web service choreography configurations for BPMN, in: Third International Workshop on Engineering Service-Oriented Applications: Analysis, Design and Compostion (WESOA), 2007.
55. Puhlmann F., and Weske M. Interaction soundness for service orchestrations. In: Dan A., and Lamersdorf W. (Eds). Proceedings of the Fourth International Conference on Service Oriented Computing (ICSOC). Lecture Notes in Computer Science vol. 4294 (2006), Springer Verlag
56. P. Reimann, O. Kopp, G. Decker, F. Leymann, Generating WS-BPEL 2.0 processes from a grounded BPEL4Chor choreography, Tech. Rep. 2008/07, University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany, 2008.
57. Reisig W. Petri Nets (1985), Springer-Verlag
58. Weidlich M., Decker G., Grokopf A., and Weske M. BPEL to BPMN: the myth of a straight-forward mapping. Proceedings 16th International Conference on Cooperative Information Systems (CoopIS). Lecture Notes in Computer Science (2008), Springer Verlag
59. Zaha J.M., Barros A., Dumas M., and ter Hofstede A. Let's Dance: a language for service behavior modeling. Proceedings 14th International Conference on Cooperative Information Systems (CoopIS). Lecture Notes in Computer Science vol. 4275 (2006), Springer Verlag
60. Zaha J.M., Dumas M., ter Hofstede A., Barros A., and Decker G. Service interaction modeling: bridging global and local views. Proceedings 10th IEEE International EDOC Conference (EDOC) (2006), IEEE Computer Society