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

   page       BibTeX_logo.png       attach   
Ashley Caselli, Giovanni Ciatto, Giovanna Di Marzo Serugendo, Andrea Omicini
Tiziana Margaria, Bernhard Steffen (eds.)
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, pages 205-223
Lecture Notes in Computer Science 12477
Springer International Publishing, Cham
October 2020

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.

keywordsservice self-composition, semantic reasoning, tuple-based coordination.
origin event
journal or series
book Lecture Notes in Computer Science (LNCS)
funding project
wrenchAI4EU — A European AI On Demand Platform and Ecosystem (01/01/2019–31/12/2021)