APICe » Publications » Engineering Semantic Self-composition of Services Through Tuple-Based Coordination

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}