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).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
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)
Apache: ODE website, http://ode.apache.org/
Apache: ServiceMix Website, http://servicemix.apache.org/
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)
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)
Barros, A., Dumas, M., Oaks, P.: A Critical Overview of the Web Services Choreography Description Language (WS-CDL), bPTrends (March 2005)
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)
von Bochmann, G., Rayner, D., West, C.H.: Some notes on the history of protocol engineering. Computer Networks 54(18), 3197–3209 (2010)
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)
Chappell, D.A.: Enterprise Service Bus. Theory in Practice, 1st edn. O’Reilly Media, Sebastopol (2004)
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)
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)
Decker, G., Kopp, O., Barros, A.: An Introduction to Service Choreographies. Information Technology 50(2), 122–127 (2008)
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)
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)
Decker, G., Kopp, O., Leymann, F., Weske, M.: Interacting services: From specification to execution. Data & Knowledge Engineering 68(10), 946–972 (2009)
Decker, G., Mendling, J.: Process Instantiation. Data & Knowledge Engineering 68, 777–792 (2009)
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/
Decker, G., Weske, M.: Interaction-centric Modeling of Process Choreographies. Information Systems 36(2), 292–312 (2011)
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)
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)
Fredlund, L.R.: Implementing WS CDL. In: Proceedings of JSWEB 2006 (II Jornadas Cientifico-Técnicas en Servicios Web) (2006)
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)
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)
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)
Kang, Z., Wang, H., Hung, P.C.: WS-CDL+ for web service collaboration. Information Systems Frontiers 9(4), 375–389 (2007)
Kavantzas, N., Burdett, D., Ritzinger, G., Lafon, Y.: Web Services Choreography Description Language Version 1.0 (November 2005)
Kopp, O., van Lessen, T., Nitzsche, J.: The Need for a Choreography-aware Service Bus. In: YR-SOC 2008, pp. 28–34 (2008)
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)
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)
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)
Li, J., Zhu, H., Pu, G.: Conformance Validation between Choreography and Orchestration. In: TASE (2007)
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)
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)
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)
OASIS: Web Services Business Process Execution Language Version 2.0 – OASIS Standard (2007)
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
Peltz, C.: Web Services Orchestration and Choreography. IEEE Computer 36(10), 46–52 (2003)
Rozinat, A., van der Aalst, W.M.P.: Conformance checking of processes based on monitoring real behavior. Inf. Syst. 33(1), 64–95 (2008)
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)
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)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)