A Theory of Service Dependency

Mats Neovius; Luigia Petre; Kaisa Sere

doi:10.4204/EPTCS.209.9

A Theory of Service Dependency

Mats Neovius, Luigia Petre, Kaisa Sere

Informationsteknologi

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer 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åk	Odefinierat/okänt
Titel på värdpublikation	In Proceedings 17th International Workshop on Refinement
Redaktörer	John Derrick, Eerke Boiten, Steve Reeves
Förlag	Open Publishing Association
Sidor	112–128
DOI	https://doi.org/10.4204/EPTCS.209.9
Status	Publicerad - 2016
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	International Workshop on Refinement - 17th International Workshop on Refinement Varaktighet: 22 juni 2015 → …

Konferens

Konferens	International Workshop on Refinement
Period	22/06/15 → …

Åtkomst av dokument

10.4204/EPTCS.209.9

Citera det här

@inproceedings{dd855d829a9f4cf1a4c309bf22a51101,

title = "A Theory of Service Dependency",

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.",

author = "Mats Neovius and Luigia Petre and Kaisa Sere",

year = "2016",

doi = "10.4204/EPTCS.209.9",

language = "Odefinierat/ok{\"a}nt",

pages = "112–128",

editor = "John Derrick and Eerke Boiten and Steve Reeves",

booktitle = "In Proceedings 17th International Workshop on Refinement",

publisher = "Open Publishing Association",

note = "International Workshop on Refinement ; Conference date: 22-06-2015",

}

TY - GEN

T1 - A Theory of Service Dependency

AU - Neovius, Mats

AU - Petre, Luigia

AU - Sere, Kaisa

PY - 2016

Y1 - 2016

N2 - 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.

AB - 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.

U2 - 10.4204/EPTCS.209.9

DO - 10.4204/EPTCS.209.9

M3 - Konferensbidrag

SP - 112

EP - 128

BT - In Proceedings 17th International Workshop on Refinement

A2 - Derrick, John

A2 - Boiten, Eerke

A2 - Reeves, Steve

PB - Open Publishing Association

T2 - International Workshop on Refinement

Y2 - 22 June 2015

ER -