Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > A Theory of Service Dependency

A Theory of Service Dependency

Mats Neovius, Luigia Petre, Kaisa Sere, A Theory of Service Dependency. In: John Derrick, Eerke Boiten, Steve Reeves (Eds.), Proceedings 17th International Workshop on Refinement (Refine'15), Oslo, Norway, 22nd June 2015, 209, 112–128, Electronic Proceedings in Theoretical Computer Science (EPTCS), 2016.

http://dx.doi.org/10.4204/EPTCS.209

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.

BibTeX entry:

@INPROCEEDINGS{inpNePeSe16a,
  title = {A Theory of Service Dependency},
  booktitle = {Proceedings 17th International Workshop on Refinement (Refine'15), Oslo, Norway, 22nd June 2015},
  author = {Neovius, Mats and Petre, Luigia and Sere, Kaisa},
  volume = {209},
  editor = {Derrick, John and Boiten, Eerke and Reeves, Steve},
  publisher = {Electronic Proceedings in Theoretical Computer Science (EPTCS)},
  pages = {112–128},
  year = {2016},
  ISSN = {2075-2180},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Edit publication