A timed component algebra for services. / Delahaye, Benoît; Fiadeiro, José Luiz; Legay, Axel; Lopes, Antónia.

FMOODS/FORTE. ed. / Dirk Beyer; Michele Borelae. Springer, 2013. p. 242-257 (Lecture Notes in Computer Science; Vol. 7892).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published

Documents

  • paper

    Accepted author manuscript, 385 KB, PDF-document

Abstract

We present a component algebra for services that can guar-
antee time-related properties. The components of this algebra are net-
works of processes that execute according to time constraints and com-
municate asynchronously through channels that can delay messages. We
characterise a sub-class of consistent networks give sucient conditions
for that class to be closed under composition. Finally, we show how those
conditions can be checked, at design time, over timed I/O automata as
orchestrations of services, thus ensuring that, when binding a client with
a supplier service at run time, the orchestrations of the two services can
work together as interconnected without further checks.
Original languageEnglish
Title of host publicationFMOODS/FORTE
EditorsDirk Beyer, Michele Borelae
PublisherSpringer
Pages242-257
Number of pages16
DOIs
StatePublished - 2013

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume7892
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 16919454