A Theory of Service Dependency

Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

1 Citeringar (Scopus)

Sammanfattning

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.
OriginalspråkOdefinierat/okänt
Titel på gästpublikationIn Proceedings 17th International Workshop on Refinement
RedaktörerJohn Derrick, Eerke Boiten, Steve Reeves
FörlagOpen Publishing Association
Sidor112–128
DOI
StatusPublicerad - 2016
MoE-publikationstypA4 Artikel i en konferenspublikation
EvenemangInternational Workshop on Refinement - 17th International Workshop on Refinement
Varaktighet: 22 jun 2015 → …

Konferens

KonferensInternational Workshop on Refinement
Period22/06/15 → …

Citera det här