A Theory of Service Dependency

A4 Konferenspublikationer

Interna författare/redaktörer

Publikationens författare: Mats Neovius, Luigia Petre, Kaisa Sere
Redaktörer: John Derrick, Eerke Boiten, Steve Reeves
Publiceringsår: 2016
Tidskrift: Electronic Proceedings in Theoretical Computer Science
Förläggare: Open Publishing Association
Moderpublikationens namn: In Proceedings 17th International Workshop on Refinement
Artikelns första sida, sidnummer: 112
Artikelns sista sida, sidnummer: 128
ISSN: 2075-2180


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.

Senast uppdaterad 2020-28-05 vid 05:30