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

Ashley Caselli, Giovanni Ciatto, Giovanna Di Marzo Serugendo, Andrea Omicini

Tiziana Margaria, Bernhard Steffen (a cura di)
“Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles”, pp. 205-223
Lecture Notes in Computer Science 12477
Springer International Publishing, Cham
ottobre 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.

Riviste & collane

Lecture Notes in Computer Science (LNCS)

Eventi

9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2020) — 26/10/2020–30/10/2020