A Theory of Service Dependency

Mats Neovius
(Åbo Akademi University, Faculty of Science and Engineering)
Luigia Petre
(Åbo Akademi University, Faculty of Science and Engineering)
Kaisa Sere
(Åbo Akademi University, Faculty of Science and Engineering)

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.

In John Derrick, Eerke Boiten and Steve Reeves: Proceedings 17th International Workshop on Refinement (Refine'15), Oslo, Norway, 22nd June 2015, Electronic Proceedings in Theoretical Computer Science 209, pp. 112–128.
Published: 4th June 2016.

ArXived at: http://dx.doi.org/10.4204/EPTCS.209.9 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org