Proceedings chapter
English

Engineering semantic self-composition of services through tuple-based coordination

Presented at9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, October 20-30, 2020
PublisherSpringer
Publication date2020-10-27
First online date2020-10-27
Abstract

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
Citation (ISO format)
CASELLI, Ashley et al. Engineering semantic self-composition of services through tuple-based coordination. In: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles. Rhodes. [s.l.] : Springer, 2020. p. 205–223. doi: 10.1007/978-3-030-61470-6_13
Main files (1)
Proceedings chapter (Published version)
accessLevelRestricted
Identifiers
ISBN978-3-030-61469-0
248views
3downloads

Technical informations

Creation27/10/2021 09:17:00
First validation27/10/2021 09:17:00
Update19/12/2023 10:33:12
Status update19/12/2023 10:33:12
Last indexation30/04/2025 15:18:25
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack