en
Proceedings chapter
English

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

Presented at 9th 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.

eng
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
142views
3downloads

Technical informations

Creation10/27/2021 9:17:00 AM
First validation10/27/2021 9:17:00 AM
Update time12/19/2023 10:33:12 AM
Status update12/19/2023 10:33:12 AM
Last indexation05/06/2024 10:01:17 AM
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack