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.
parole chiave
service self-composition, semantic reasoning, tuple-based coordination.
evento origine
rivista o collana
Lecture Notes in Computer Science
(LNCS)
progetto finanziatore
AI4EU — A European AI On Demand Platform and Ecosystem
(01/01/2019–31/12/2021)
