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
Published inLeveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, p. 205-223
PublisherSpringer
Publication date2020-10-27
First online date2020-10-27
Abstract
Keywords
- Service self-composition
- Semantic reasoning
- Tuple-based coordination
Affiliation entities
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)
Identifiers
- PID : unige:159135
- DOI : 10.1007/978-3-030-61470-6_13
Additional URL for this publicationhttp://link.springer.com/10.1007/978-3-030-61470-6_13
ISBN978-3-030-61469-0
