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


pagemagnifierBibTeX_logo.pngmagnifierpage_white_acrobatmagnifier

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.

(keywords) service self-composition, semantic reasoning, tuple-based coordination.

Journals & Series

Events

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

Publication

— authors

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

— editors

Tiziana Margaria, Bernhard Steffen

— status

published

— sort

paper in proceedings

— publication date

October 2020

— volume

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles

— series

Lecture Notes in Computer Science

— volume

12477

— pages

205-223

— address

Cham

URLs

original page  |  original PDF  |  open access PDF

identifiers

— DOI

10.1007/978-3-030-61470-6_13

— DBLP

conf/isola/CaselliCSO20

— IRIS

11585/776750

— Scopus

2-s2.0-85096570203

— print ISBN

978-3-030-61470-6

files

Open Access PDF

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY