A timed component algebra for services

Benoît Delahaye, José Luiz Fiadeiro, Axel Legay, Antónia Lopes

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

47 Downloads (Pure)

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
Publication statusPublished - 2013

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume7892

Cite this