Skip to main content
SpringerLink
Log in

Engineering Semantic Self-composition of Services Through Tuple-Based Coordination

  • Conference paper
  • First Online:
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles (ISoLA 2020)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 12477))

Included in the following conference series:

Abstract

Service self-composition is a well-understood research area focusing on service-based applications providing new services by automatically combining pre-existing ones. In this paper we focus on tuple-based coordination, and propose a solution leveraging logic tuples and tuple spaces to support semantic self-composition for services. A full-stack description of the solution is provided, ranging from a theoretical formalisation to a technologically valuable design and implementation.

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.

    https://gitlab.com/ashleycaselli/tusow-semantic-composition.

References

  1. Ben Mahfoudh, H., Di Marzo Serugendo, G., Naja, N., Abdennadher, N.: Learning-based coordination model for spontaneous self-composition of reliable services in a distributed system. Int. J. Softw. Tools Technol. Transfer 22(4), 417–436 (2020). https://doi.org/10.1007/s10009-020-00557-0

    Article  Google Scholar 

  2. Benatallah, B., Dumas, M., Fauvet, M.C., Rabhi, F.A.: Towards patterns of web services composition. In: Rabhi, F.A., Gorlatch, S. (eds.) Patterns and Skeletons for Parallel and Distributed Computing, pp. 265–296. Springer, London (2003). https://doi.org/10.1007/978-1-4471-0097-3_10

    Chapter  MATH  Google Scholar 

  3. Bonjean, N., Gleizes, M.P., Maurel, C., Migeon, F.: SCoRe: a self-organizing multi-agent system for decision making in dynamic software development processes. In: International Conference on Agents and Artificial Intelligence (ICAART) (2013). (short paper)

    Google Scholar 

  4. Caselli, A.: Logic-based coordination: a semantic approach to self-composition of services. Master’s thesis, Alma Mater Studiorum-Università di Bologna, School of Engineering (2019). http://amslaurea.unibo.it/17984

  5. Ciatto, G., Di Marzo Serugendo, G., Louvel, M., Mariani, S., Omicini, A., Zambonelli, F.: Twenty years of coordination technologies: COORDINATION contribution to the state of art. J. Log. Algebraic Methods Program. 113, 1–25 (2020). https://doi.org/10.1016/j.jlamp.2020.100531

    Article  MathSciNet  Google Scholar 

  6. Ciatto, G., Rizzato, L., Omicini, A., Mariani, S.: TuSoW: tuple spaces for edge computing. In: The 28th International Conference on Computer Communications and Networks (ICCCN 2019), Valencia, Spain, 29 July–1 August 2019. IEEE (2019). https://doi.org/10.1109/ICCCN.2019.8846916

  7. De Angelis, F.L.: A logic-based coordination middleware for self-organising systems: distributed reasoning based on many-valued logics. Ph.D. thesis, University of Geneva, School of Social Sciences - Information Systems (2017)

    Google Scholar 

  8. De Nicola, R., Ferrari, G.L., Pugliese, R.: KLAIM: a kernel language for agents interaction and mobility. IEEE Trans. Softw. Eng. 24(5), 315–330 (1998). https://doi.org/10.1109/32.685256

    Article  Google Scholar 

  9. Degas, A.: Auto-structuration de trafic temps-réel multi-objectif et multi-critère dans un monde virtuel. Ph.D. thesis, Université de Toulouse III - Paul Sabatier, IRIT - UMR 5505, Toulouse, France (2020)

    Google Scholar 

  10. Denti, E., Omicini, A., Ricci, A.: tuProlog: a light-weight prolog for internet applications and infrastructures. In: Ramakrishnan, I.V. (ed.) PADL 2001. LNCS, vol. 1990, pp. 184–198. Springer, Heidelberg (2001). https://doi.org/10.1007/3-540-45241-9_13

    Chapter  Google Scholar 

  11. Di Napoli, C., Giordano, M., Németh, Z., Tonellotto, N.: Using chemical reactions to model service composition. In: 2nd International Workshop on Self-organizing Architectures (SOAR 2010), pp. 43–50. ACM, New York (2010). https://doi.org/10.1145/1809036.1809047

  12. Freeman, E., Arnold, K., Hupfer, S.: JavaSpaces Principles, Patterns, and Practice. Addison-Wesley Longman Ltd., Essex (1999)

    Google Scholar 

  13. Frei, R., Şerbănuţă, T.F., Di Marzo Serugendo, G.: Self-organising assembly systems formally specified in Maude. J. Ambient Intell. Humaniz. Comput. 5(4), 491–510 (2012). https://doi.org/10.1007/s12652-012-0159-2

    Article  Google Scholar 

  14. Gabillon, Y., Calvary, G., Fiorino, H.: Composing interactive systems by planning. In: 4th French-Speaking Conference on Mobility and Ubiquity Computing (UbiMob 2008), pp. 37–40. ACM, New York (2007). https://doi.org/10.1145/1376971.1376979

  15. Gelernter, D.: Generative communication in Linda. ACM Trans. Program. Lang. Syst. 7(1), 80–112 (1985). https://doi.org/10.1145/2363.2433

    Article  MATH  Google Scholar 

  16. Gorrieri, R.: Labeled transition systems. Process Algebras for Petri Nets. MTCSAES, pp. 15–34. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-55559-1_2

    Chapter  MATH  Google Scholar 

  17. Kalasapur, S., Kumar, M., Shirazi, B.A.: Dynamic service composition in pervasive computing. IEEE Trans. Parallel Distrib. Syst. 18(7), 907–918 (2007). https://doi.org/10.1109/TPDS.2007.1039

    Article  Google Scholar 

  18. Lemos, A.L., Daniel, F., Benatallah, B.: Web service composition: a survey of techniques and tools. ACM Comput. Surv. 48(3), 1–41 (2015). https://doi.org/10.1145/2831270

    Article  Google Scholar 

  19. Louvel, M., Pacull, F.: LINC: a compact yet powerful coordination environment. In: Kühn, E., Pugliese, R. (eds.) COORDINATION 2014. LNCS, vol. 8459, pp. 83–98. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-662-43376-8_6

    Chapter  Google Scholar 

  20. Martin, D., et al.: OWL-S: Semantic markup for web services. W3C Member Submission 22 (2004)

    Google Scholar 

  21. Murphy, A.L., Picco, G.P., Roman, G.C.: LIME: a coordination model and middleware supporting mobility of hosts and agents. ACM Trans. Softw. Eng. Methodol. (TOSEM) 15(3), 279–328 (2006). https://doi.org/10.1145/1151695.1151698

    Article  Google Scholar 

  22. Omicini, A.: On the semantics of tuple-based coordination models. In: 1999 ACM Symposium on Applied Computing (SAC 1999), 28 February–2 March 1999, pp. 175–182. ACM, New York (1999). https://doi.org/10.1145/298151.298229

  23. Omicini, A., Zambonelli, F.: Coordination for Internet application development. Auton. Agent. Multi-Agent Syst. 2(3), 251–269 (1999). https://doi.org/10.1023/A:1010060322135

    Article  Google Scholar 

  24. Talantikite, H.N., Aissani, D., Boudjlida, N.: Semantic annotations for web services discovery and composition. Comput. Stand. Interfaces 31(6), 1108–1117 (2009). https://doi.org/10.1016/j.csi.2008.09.041

    Article  Google Scholar 

  25. Talib, M.A., Yang, Z.: Semi-automatic code generation of static web services composition. In: Student Conference on Engineering, Sciences and Technology, pp. 132–137. IEEE, January 2005. https://doi.org/10.1109/SCONES.2004.1564784

  26. Vallée, M., Ramparany, F., Vercouter, L.: A multi-agent system for dynamic service composition in ambient intelligence environments. In: PERVASIVE 2005, Advances in Pervasive Computing, vol. 191, pp. 175–182. Austrian Comp. Soc. (OCG) (2005)

    Google Scholar 

  27. Viroli, M.: On competitive self-composition in pervasive services. Sci. Comput. Program. 78(5), 556–568 (2013). https://doi.org/10.1016/j.scico.2012.10.002

    Article  Google Scholar 

Download references

Acknowledgements

The authors would like to thanks the anonymous reviewers for their valuable remarks.

This work has been partially supported by the H2020 Project “AI4EU” (G.A. 825619).

Author information

Authors and Affiliations

  1. Centre Universitaire d’Informatique (CUI), University of Geneva, Geneva, Switzerland

    Ashley Caselli & Giovanna Di Marzo Serugendo

  2. Department of Computer Science and Engineering (DISI), Alma Mater Studiorum—Università  di Bologna, Cesena, Italy

    Giovanni Ciatto & Andrea Omicini

Authors
  1. Ashley Caselli
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Giovanni Ciatto
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Giovanna Di Marzo Serugendo
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Andrea Omicini
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding authors

Correspondence to Ashley Caselli , Giovanni Ciatto , Giovanna Di Marzo Serugendo or Andrea Omicini .

Editor information

Editors and Affiliations

  1. University of Limerick and Lero, Limerick, Ireland

    Tiziana Margaria

  2. TU Dortmund, Dortmund, Germany

    Bernhard Steffen

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Caselli, A., Ciatto, G., Di Marzo Serugendo, G., Omicini, A. (2020). Engineering Semantic Self-composition of Services Through Tuple-Based Coordination. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles. ISoLA 2020. Lecture Notes in Computer Science(), vol 12477. Springer, Cham. https://doi.org/10.1007/978-3-030-61470-6_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-61470-6_13

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-61469-0

  • Online ISBN: 978-3-030-61470-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation