Skip to main content
SpringerLink
Log in

Towards Adapting Choreography-Based Service Compositions Through Enterprise Integration Patterns

  • Conference paper
  • First Online:
Software Engineering and Formal Methods (SEFM 2015)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 9509))

Included in the following conference series:

Abstract

The Future Internet is becoming a reality, providing a large-scale computing environments where a virtually infinite number of available services can be composed so as to fit users’ needs. Modern service-oriented applications will be more and more often built by reusing and assembling distributed services. A key enabler for this vision is then the ability to automatically compose and dynamically coordinate software services. Service choreographies are an emergent Service Engineering (SE) approach to compose together and coordinate services in a distributed way. When mismatching third-party services are to be composed, obtaining the distributed coordination and adaptation logic required to suitably realize a choreography is a non-trivial and error prone task. Automatic support is then needed. In this direction, this paper leverages previous work on the automatic synthesis of choreography-based systems, and describes our preliminary steps towards exploiting Enterprise Integration Patterns to deal with a form of choreography adaptation.

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

Access this chapter

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 EPUB and 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

Institutional subscriptions

Notes

  1. 1.

    http://www.omg.org/spec/BPMN/2.0/.

  2. 2.

    http://www.choreos.eu/.

  3. 3.

    http://www.chorevolution.eu/.

  4. 4.

    http://www.eclipse.org/bpmn2-modeler/.

  5. 5.

    http://projects.spring.io/spring-integration/.

  6. 6.

    http://projects.spring.io/spring-ws/.

  7. 7.

    E.g., the type structure of the XML Schema types of the messages in the WSDL of the considered services.

References

  1. European Commission: Digital Agenda for Europe - Future Internet Research and Experimentation (FIRE) initiative (2015)

    Google Scholar 

  2. Autili, M., Di Ruscio, D., Di Salle, A., Inverardi, P., Tivoli, M.: A model-based synthesis process for choreography realizability enforcement. In: Cortellessa, V., Varró, D. (eds.) FASE 2013 (ETAPS 2013). LNCS, vol. 7793, pp. 37–52. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  3. Autili, M., Di Salle, A., Tivoli, M.: Synthesis of resilient choreographies. In: Gorbenko, A., Romanovsky, A., Kharchenko, V. (eds.) SERENE 2013. LNCS, vol. 8166, pp. 94–108. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  4. Salle, A.D., Inverardi, P., Perucci, A.: Towards adaptable and evolving service choreography in the future Internet. In: IEEE Services, pp. 333–337 (2014)

    Google Scholar 

  5. Autili, M., Inverardi, P., Tivoli, M.: Automated synthesis of service choreographies. IEEE Softw. 32(1), 50–57 (2015)

    Article  Google Scholar 

  6. Hohpe, G., Woolf, B.: Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions - Printing 2011. Addison-Wesley Longman, Boston (2004)

    Google Scholar 

  7. Basu, S., Bultan, T.: Choreography conformance via synchronizability. In: Proceedings of WWW (2011)

    Google Scholar 

  8. Calvanese, D., Giacomo, G.D., Lenzerini, M., Mecella, M., Patrizi, F.: Automatic service composition and synthesis: the roman model. IEEE Data Eng. Bull. 31(3), 18–22 (2008)

    Google Scholar 

  9. Hallé, S., Bultan, T.: Realizability analysis for message-based interactions using shared-state projections. In: Proceedings of FSE, pp. 27–36 (2010)

    Google Scholar 

  10. Pathak, J., Lutz, R., Honavar, V.: Moscoe: an approach for composing web services through iterative reformulation of functional specifications. Int. J. Artif. Intell. Tools 17, 109–138 (2008)

    Article  Google Scholar 

  11. Salaün, G.: Generation of service wrapper protocols from choreography specifications. In: Proceedings of SEFM (2008)

    Google Scholar 

  12. Poizat, P., Salaün, G.: Checking the realizability of BPMN 2.0 choreographies. In: Proceedings of SAC 2012 (2012)

    Google Scholar 

  13. Gössler, G., Salaün, G.: Realizability of choreographies for services interacting asynchronously. In: Arbab, F., Ölveczky, P.C. (eds.) FACS 2011. LNCS, vol. 7253, pp. 151–167. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  14. Basu, S., Bultan, T., Ouederni, M.: Deciding choreography realizability. In: Proceedings of POPL. ACM (2012)

    Google Scholar 

  15. Güdemann, M., Poizat, P., Salaün, G., Dumont, A.: VerChor: a framework for verifying choreographies. In: Cortellessa, V., Varró, D. (eds.) FASE 2013 (ETAPS 2013). LNCS, vol. 7793, pp. 226–230. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  16. Salaün, G., Bultan, T., Roohi, N.: Realizability of choreographies using process algebra encodings. IEEE TSC 5(3), 290–304 (2012)

    Google Scholar 

  17. Ouederni, M., Salaün, G., Bultan, T.: Compatibility checking for asynchronously communicating software. In: Fiadeiro, J.L., Liu, Z., Xue, J. (eds.) FACS 2013. LNCS, vol. 8348, pp. 310–328. Springer, Heidelberg (2014)

    Google Scholar 

  18. Basu, S., Bultan, T.: Automatic verification of interactions in asynchronous systems with unbounded buffers. In: Proceedings of ASE, pp. 743–754 (2014)

    Google Scholar 

  19. Güdemann, M., Poizat, P., Salaün, G., Dumont, A.: VerChor: a framework for verifying choreographies. In: Cortellessa, V., Varró, D. (eds.) FASE 2013 (ETAPS 2013). LNCS, vol. 7793, pp. 226–230. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  20. Güdemann, M., Salaün, G., Ouederni, M.: Counterexample guided synthesis of monitors for realizability enforcement. In: Chakraborty, S., Mukund, M. (eds.) ATVA 2012. LNCS, vol. 7561, pp. 238–253. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  21. Shaw, M., Garlan, D.: Software Architecture - Perspectives on an Emerging Discipline. Prentice Hall, Upper Saddle River (1996)

    Google Scholar 

  22. Autili, M., Ruscio, D.D., Salle, A.D., Perucci, A.: Choreosynt: enforcing choreography realizability in the future Internet. In: Proceedings of FSE, pp. 723–726 (2014)

    Google Scholar 

  23. Bertolino, A., Inverardi, P., Pelliccione, P., Tivoli, M.: Automatic synthesis of behavior protocols for composable web-services. In: Proceedings of ESEC/FSE (2009)

    Google Scholar 

  24. Calvert, K.L., Lam, S.S.: Formal methods for protocol conversion. IEEE J. Sel. Areas Commun. 8(1), 16 (1990)

    Article  Google Scholar 

  25. Lam, S.S.: Correction to “protocol conversion”. IEEE TSE 14(9), 1376 (1988)

    Google Scholar 

  26. Vaculín, R., Sycara, K.: Towards automatic mediation of OWL-S process models. In: Proceedings of IEEE Web Services (2007)

    Google Scholar 

  27. Vaculín, R., Neruda, R., Sycara, K.: An agent for asymmetric process mediation in open environments. In: Kowalczyk, R., Huhns, M.N., Klusch, M., Maamar, Z., Vo, Q.B. (eds.) Service-Oriented Computing: Agents, Semantics, and Engineering. LNCS, vol. 5006, pp. 104–117. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  28. Spitznagel, B., Garlan, D.: A compositional formalization of connector wrappers. In: Proceedings of ICSE (2003)

    Google Scholar 

  29. Passerone, R., Alfaro, L.D., Henzinger, T.A., Sangiovanni-Vincentelli, A.L.: Convertibility verification and converter synthesis: two faces of the same coin. In: Proceedings of ICCAD (2002)

    Google Scholar 

  30. Bennaceur, A., Issarny, V.: Automated synthesis of mediators to support component interoperability. IEEE TSE 41(3), 221–240 (2015)

    Google Scholar 

  31. Do, H.H., Melnik, S., Rahm, E.: Comparison of schema matching evaluations. In: Web, Web-Services, and Database Systems, pp. 221–237 (2002)

    Google Scholar 

  32. Do, H.H., Rahm, E.: COMA - a system for flexible combination of schema matching approaches. In: Proceedings of VLDB, pp. 610–621 (2002)

    Google Scholar 

  33. Massmann, S., Engmann, D., Rahm, E.: COMA++: results for the ontology alignment contest OAEI 2006. In: Proceedings of OM/ISWC (2006)

    Google Scholar 

  34. Paolucci, M., Kawamura, T., Payne, T.R., Sycara, K.: Semantic matching of web services capabilities. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, pp. 333–347. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  35. Schumacher, M., Fernandez-Buglioni, E., Hybertson, D., Buschmann, F., Sommerlad, P.: Security Patterns Integrating Security and Systems Engineering. Wiley, Verlag (2005)

    Google Scholar 

Download references

Acknowledgment

This research work has been supported by the Ministry of Education, Universities and Research, prot. 2012E47TM2 (project IDEAS - Integrated Design and Evolution of Adaptive Systems), by the European Union’s H2020 Programme under grant agreement number 644178 (project CHOReVOLUTION - Automated Synthesis of Dynamic and Secured Choreographies for the Future Internet), and by the Ministry of Economy and Finance, Cipe resolution n. 135/2012 (project INCIPICT - INnovating CIty Planning through Information and Communication Technologies).

Author information

Authors and Affiliations

  1. University of L’Aquila, Via Vetoio, 67100, L’Aquila, Italy

    Amleto Di Salle, Francesco Gallo & Alexander Perucci

Authors
  1. Amleto Di Salle
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Francesco Gallo
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Alexander Perucci
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Alexander Perucci .

Editor information

Editors and Affiliations

  1. Interdisciplinary Centre for ICT Se, University of Luxembourg (UL)., Luxembourg

    Domenico Bianculli

  2. University of York, York, United Kingdom

    Radu Calinescu

  3. LS Software Engineering, RWTH Aachen Universität, Aachen, Nordrhein-Westfalen, Germany

    Bernhard Rumpe

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Di Salle, A., Gallo, F., Perucci, A. (2015). Towards Adapting Choreography-Based Service Compositions Through Enterprise Integration Patterns. In: Bianculli, D., Calinescu, R., Rumpe, B. (eds) Software Engineering and Formal Methods. SEFM 2015. Lecture Notes in Computer Science(), vol 9509. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-49224-6_20

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-49224-6_20

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-662-49223-9

  • Online ISBN: 978-3-662-49224-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation