A Theory of Service Dependency

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

1 Sitaatiot (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.
AlkuperäiskieliEi tiedossa
OtsikkoIn Proceedings 17th International Workshop on Refinement
ToimittajatJohn Derrick, Eerke Boiten, Steve Reeves
KustantajaOpen Publishing Association
DOI - pysyväislinkit
TilaJulkaistu - 2016
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
TapahtumaInternational Workshop on Refinement - 17th International Workshop on Refinement
Kesto: 22 kesäkuuta 2015 → …


KonferenssiInternational Workshop on Refinement
Ajanjakso22/06/15 → …