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. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.209.9 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |