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.
keywords
service self-composition, semantic reasoning, tuple-based coordination.
origin event
journal or series
Lecture Notes in Computer Science
(LNCS)
funding project
AI4EU — A European AI On Demand Platform and Ecosystem
(01/01/2019–31/12/2021)
