A Theory of Service Dependency

Mats Neovius, Luigia Petre, Kaisa Sere

Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

1 Citation (Scopus)


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.
Original languageUndefined/Unknown
Title of host publicationIn Proceedings 17th International Workshop on Refinement
EditorsJohn Derrick, Eerke Boiten, Steve Reeves
PublisherOpen Publishing Association
Publication statusPublished - 2016
MoE publication typeA4 Article in a conference publication
EventInternational Workshop on Refinement - 17th International Workshop on Refinement
Duration: 22 Jun 2015 → …


ConferenceInternational Workshop on Refinement
Period22/06/15 → …

Cite this