Engineering Semantic Self-composition of Services Through Tuple-Based Coordination
Ashley Caselli, Giovanni Ciatto, Giovanna Di Marzo Serugendo, Andrea Omicini
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, pages 205-223
Lecture Notes in Computer Science 12477, October 2020
Springer International Publishing, Cham
Tiziana Margaria, Bernhard Steffen (eds.)
@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},
dblpid = {conf/isola/CaselliCSO20},
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}
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},
dblpid = {conf/isola/CaselliCSO20},
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}
Journals & Series
Events
- 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2020) — 26/10/2020–30/10/2020