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


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

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.

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, Lecture Notes in Computer Science 12477, pages 205-223, October 2020.
Tiziana Margaria, Bernhard Steffen (eds.), Springer International Publishing, Cham.

@incollection{semanticselfcomposition-isola2020,
Address = {Cham},
Author = {Caselli, Ashley and Ciatto, Giovanni and Di Marzo Serugendo, Giovanna and Omicini, Andrea},
Booktitle = {Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles},
Doi = {10.1007/978-3-030-61470-6_13},
Editor = {Margaria, Tiziana and Steffen, Bernhard},
IrisId = {11585/776750},
Isbn = {978-3-030-61470-6},
Pages = {205--223},
Publisher = {Springer International Publishing},
ScopusId = {2-s2.0-85096570203},
Series = {Lecture Notes in Computer Science},
Title = {Engineering Semantic Self-composition of Services Through Tuple-Based Coordination},
Url = {https://link.springer.com/10.1007/978-3-030-61470-6_13},
Volume = 12477,
Year = 2020}

Journals & Series

Events

Publication

— authors

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

— editors

Tiziana Margaria, Bernhard Steffen

— status

published

— sort

paper in proceedings

Venue

— volume

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

— series

Lecture Notes in Computer Science

— volume

12477

— pages

205-223

— publication date

October 2020

URLs

original page  |  original PDF  |  open access PDF

Identifiers

— DOI

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

— IRIS

11585/776750

— Scopus

2-s2.0-85096570203

— print ISBN

978-3-030-61470-6

BibTeX

— BibTeX ID
semanticselfcomposition-isola2020
— BibTeX category
incollection

Files

Open Access PDF

View this PDF full screen

You do not have the plugin required to display this PDF file. You can still download it: ccdmso-isola-2020.pdf

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY