Skip to main content
SpringerLink
Log in
Book cover

International Conference on Subject-Oriented Business Process Management

S-BPM ONE 2010: Subject-Oriented Business Process Management pp 36–53Cite as

Interaction Choreography Models in BPEL: Choreographies on the Enterprise Service Bus

  • Conference paper

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 138))

Abstract

Interactions between services may be globally captured by choreographies. We introduce BPELgold supporting modeling interaction choreography models using BPEL. We show the usage of BPELgold in an enterprise service bus to ensure an executed message exchange complies with a pre-defined choreography.

This work was supported by funds from the European Commission (contract no. 215175 for the FP7-ICT-2007-1 project COMPAS).

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distributed and Parallel Databases 14(1), 5–51 (2003)

    Article  Google Scholar 

  2. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Montali, M., Storari, S., Torroni, P.: Computational logic for run-time verification of web services choreographies: Exploiting the SOCS-SI tool. In: Bravetti, M., Núñez, M., Tennenholtz, M. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 58–72. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  3. Apache: ODE website, http://ode.apache.org/

  4. Apache: ServiceMix Website, http://servicemix.apache.org/

  5. Barros, A., Decker, G., Dumas, M., Weber, F.: Correlation Patterns in Service-Oriented Architectures. In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007. LNCS, vol. 4422, pp. 245–259. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  6. Barros, A., Dumas, M., ter Hofstede, A.H.M.: Service Interaction Patterns. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 302–318. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  7. Barros, A., Dumas, M., Oaks, P.: A Critical Overview of the Web Services Choreography Description Language (WS-CDL), bPTrends (March 2005)

    Google Scholar 

  8. Birukou, A., et al.: An integrated solution for runtime compliance governance in SOA. In: Maglio, P.P., Weske, M., Yang, J., Fantinato, M. (eds.) ICSOC 2010. LNCS, vol. 6470, pp. 706–707. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  9. von Bochmann, G., Rayner, D., West, C.H.: Some notes on the history of protocol engineering. Computer Networks 54(18), 3197–3209 (2010)

    Article  MATH  Google Scholar 

  10. Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Tennenholtz, M.: Choreography and Orchestration Conformance for System Design. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol. 4038, pp. 63–81. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  11. Chappell, D.A.: Enterprise Service Bus. Theory in Practice, 1st edn. O’Reilly Media, Sebastopol (2004)

    Google Scholar 

  12. Daniel, F., et al.: Business Compliance Governance in Service-Oriented Architectures. In: Proceedings of the IEEE Twenty-Third International Conference on Advanced Information Networking and Applications (AINA 2009), pp. 113–120. IEEE Press, Los Alamitos (2009)

    Chapter  Google Scholar 

  13. Decker, G., Barros, A.: Interaction modeling using BPMN. In: ter Hofstede, A.H.M., Benatallah, B., Paik, H.-Y. (eds.) BPM Workshops 2007. LNCS, vol. 4928, pp. 208–219. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  14. Decker, G., Kopp, O., Barros, A.: An Introduction to Service Choreographies. Information Technology 50(2), 122–127 (2008)

    Google Scholar 

  15. Decker, G., Kopp, O., Leymann, F., Pfitzner, K., Weske, M.: Modeling Service Choreographies Using BPMN and BPEL4Chor. In: Bellahsène, Z., Léonard, M. (eds.) CAiSE 2008. LNCS, vol. 5074, pp. 79–93. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  16. Decker, G., Kopp, O., Leymann, F., Weske, M.: BPEL4Chor: Extending BPEL for Modeling Choreographies. In: International Conference on Web Services, IEEE Computer Society, Los Alamitos (2007)

    Google Scholar 

  17. Decker, G., Kopp, O., Leymann, F., Weske, M.: Interacting services: From specification to execution. Data & Knowledge Engineering 68(10), 946–972 (2009)

    Article  Google Scholar 

  18. Decker, G., Mendling, J.: Process Instantiation. Data & Knowledge Engineering 68, 777–792 (2009)

    Article  Google Scholar 

  19. Decker, G., Weske, M.: Local enforceability in interaction petri nets. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 305–319. Springer, Heidelberg (2007), http://www.springerlink.com/content/602146845nt31197/

    Chapter  Google Scholar 

  20. Decker, G., Weske, M.: Interaction-centric Modeling of Process Choreographies. Information Systems 36(2), 292–312 (2011)

    Article  Google Scholar 

  21. Decker, G., Zaha, J.M.: On the Suitability of WS-CDL for Choreography Modeling. In: EMISA 2006 – Methoden, Konzepte und Technologien für die Entwicklung von dienstbasierten Informationssystemen. LNI, vol. 95. GI (2006)

    Google Scholar 

  22. Fleischmann, A.: What is S-BPM? In: Buchwald, H., Fleischmann, A., Seese, D., Stary, C. (eds.) S-BPM ONE 2009. CCIS, vol. 85, pp. 85–106. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  23. Fredlund, L.R.: Implementing WS CDL. In: Proceedings of JSWEB 2006 (II Jornadas Cientifico-Técnicas en Servicios Web) (2006)

    Google Scholar 

  24. Gheorghe, G., Neuhaus, S., Crispo, B.: xESB: An enterprise service bus for access and usage control policy enforcement. In: Nishigaki, M., Jøsang, A., Murayama, Y., Marsh, S. (eds.) IFIPTM 2010. IFIP Advances in Information and Communication Technology, vol. 321, pp. 63–78. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  25. Gheorghe, G., et al.: Combining enforcement strategies in service oriented architectures. In: Maglio, P.P., Weske, M., Yang, J., Fantinato, M. (eds.) ICSOC 2010. LNCS, vol. 6470, pp. 288–302. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  26. Hongli, Y., Xiangpeng, Z., Chao, C., Zongyan, Q.: Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation. In: Derrick, J., Vain, J. (eds.) FORTE 2007. LNCS, vol. 4574, pp. 81–96. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  27. Kang, Z., Wang, H., Hung, P.C.: WS-CDL+ for web service collaboration. Information Systems Frontiers 9(4), 375–389 (2007)

    Article  Google Scholar 

  28. Kavantzas, N., Burdett, D., Ritzinger, G., Lafon, Y.: Web Services Choreography Description Language Version 1.0 (November 2005)

    Google Scholar 

  29. Kopp, O., van Lessen, T., Nitzsche, J.: The Need for a Choreography-aware Service Bus. In: YR-SOC 2008, pp. 28–34 (2008)

    Google Scholar 

  30. Kopp, O., Leymann, F., Wu, F.: Mapping interconnection choreography models to interaction choreography models. In: Central-European Workshop on Services and their Composition, ZEUS 2010. CEUR-WS.org (2010)

    Google Scholar 

  31. Kopp, O., Leymann, F., Wutke, D.: Fault handling in the web service stack. In: Maglio, P.P., Weske, M., Yang, J., Fantinato, M. (eds.) ICSOC 2010. LNCS, vol. 6470, pp. 303–317. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  32. Kopp, O., Martin, D., Wutke, D., Leymann, F.: The Difference Between Graph-Based and Block-Structured Business Process Modelling Languages. Enterprise Modelling and Information Systems 4(1), 3–13 (2009)

    Google Scholar 

  33. Li, J., Zhu, H., Pu, G.: Conformance Validation between Choreography and Orchestration. In: TASE (2007)

    Google Scholar 

  34. Lohmann, N., Wolf, K.: Realizability is controllability. In: Laneve, C., Su, J. (eds.) WS-FM 2009. LNCS, vol. 6194, pp. 110–127. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  35. Bravetti, M., Tennenholtz, M.: Towards a Unifying Theory for Choreography Conformance and Contract Compliance. In: Lumpe, M., Vanderperren, W. (eds.) SC 2007. LNCS, vol. 4829, pp. 34–50. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  36. Montali, M., Pesic, M., van der Aalst, W.M.P., Chesani, F., Mello, P., Storari, S.: Declarative specification and verification of service choreographiess. ACM Trans. Web 4(1), 1–62 (2010)

    Article  Google Scholar 

  37. OASIS: Web Services Business Process Execution Language Version 2.0 – OASIS Standard (2007)

    Google Scholar 

  38. Object Management Group (OMG): Business Process Model and Notation (BPMN) Version 2.0 (2010), http://www.omg.org/cgi-bin/doc?dtc/09-08-14 , http://www.omg.org/cgi-bin/doc?dtc/10-06-04

  39. Peltz, C.: Web Services Orchestration and Choreography. IEEE Computer 36(10), 46–52 (2003)

    Article  Google Scholar 

  40. Rozinat, A., van der Aalst, W.M.P.: Conformance checking of processes based on monitoring real behavior. Inf. Syst. 33(1), 64–95 (2008)

    Article  Google Scholar 

  41. Russell, N., van der Aalst, W.M.P., ter Hofstede, A.H.M.: Workflow Exception Patterns. In: Martinez, F.H., Pohl, K. (eds.) CAiSE 2006. LNCS, vol. 4001, pp. 288–302. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  42. Russell, N., ter Hofstede, A.H.M., Edmond, D., van der Aalst, W.M.P.: Workflow Data Patterns: Identification, Representation and Tool Support. In: Delcambre, L.M.L., Kop, C., Mayr, H.C., Mylopoulos, J., Pastor, Ó. (eds.) ER 2005. LNCS, vol. 3716, pp. 353–368. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  43. Wolf, K.: Does my service have partners? In: Jensen, K., van der Aalst, W.M.P. (eds.) Transactions on Petri Nets and Other Models of Concurrency II. LNCS, vol. 5460, pp. 152–171. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  44. Zaha, J.M., Dumas, M., ter Hofstede, A., Barros, A., Decker, G.: Service Interaction Modeling: Bridging Global and Local Views. In: EDOC. IEEE, Los Alamitos (2006)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Architecture of Application Systems, University of Stuttgart, Universittsstraße 38, 70569, Stuttgart, Germany

    Oliver Kopp, Lasse Engler, Tammo van Lessen, Frank Leymann & Jörg Nitzsche

Authors
  1. Oliver Kopp
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Lasse Engler
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Tammo van Lessen
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Frank Leymann
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Jörg Nitzsche
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. METASONIC AG, Pfaffenhofen, Germany

    Albert Fleischmann

  2. Business Information Systems, University of Applied Sciences Ingolstadt, Esplanade 10, 85049, Ingolstadt, Germany

    Werner Schmidt

  3. FH JOANNEUM University of Applied Sciences, 8020, Graz, Austria

    Robert Singer

  4. Institute AIFB, Karlsruher Institute of Technology (KIT), 76128, Karlsruhe, Germany

    Detlef Seese

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kopp, O., Engler, L., van Lessen, T., Leymann, F., Nitzsche, J. (2011). Interaction Choreography Models in BPEL: Choreographies on the Enterprise Service Bus. In: Fleischmann, A., Schmidt, W., Singer, R., Seese, D. (eds) Subject-Oriented Business Process Management. S-BPM ONE 2010. Communications in Computer and Information Science, vol 138. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-23135-3_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-23135-3_3

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-23134-6

  • Online ISBN: 978-3-642-23135-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation