A Theory of Service Dependency
Mats Neovius ({\AA}bo Akademi University, Faculty of Science and, Engineering), Luigia Petre ({\AA}bo Akademi University, Faculty of Science, and Engineering), Kaisa Sere ({\AA}bo Akademi University, Faculty of Science, and Engineering)
TL;DR
This paper introduces a formal theory of service dependency using Action Systems, analyzing its properties, composition behavior, and refinement conditions to better understand complex service compositions.
Contribution
It proposes a novel formal model for service dependencies, providing a foundation for analyzing and verifying service composition behaviors.
Findings
Dependency operator properties analyzed
Composition behavior characterized
Refinement conditions established
Abstract
Service composition has become commonplace nowadays, in large part due to the increased complexity of software and supporting networks. Composition can be of many types, for instance sequential, prioritising, non-deterministic. However, a fundamental feature of the services to be composed consists in their dependencies with respect to each other. In this paper we propose a theory of service dependency, modelled around a dependency operator in the Action Systems formalism. We analyze its properties, composition behaviour, and refinement conditions with accompanying examples.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.