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

5 Citations (Scopus)

Abstract

We present a component algebra for services that can guarantee time-related properties. The components of this algebra are networks of processes that execute according to time constraints and communicate asynchronously through channels that can delay messages. We characterise a sub-class of consistent networks give sufficient 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 publicationFormal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on DisCoTec 2013, Proceedings
Subtitle of host publicationJoint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
EditorsDirk Beyer, Michele Boreale
Place of PublicationBerlin
PublisherSpringer Verlag
Pages242-257
Number of pages16
ISBN (Electronic)9783642385926
ISBN (Print)9783642385919
DOIs
Publication statusPublished - 2013
EventJoint IFIP WG 6.1 International Conference on Formal Techniques for Distributed Systems, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013 - Florence, Italy
Duration: 3 Jun 20135 Jun 2013

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume7892
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceJoint IFIP WG 6.1 International Conference on Formal Techniques for Distributed Systems, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013
CountryItaly
CityFlorence
Period3/06/135/06/13

Keywords

  • Time Sequence
  • Design Time
  • Incoming Message
  • Interface Theory
  • Outgoing Message

Fingerprint Dive into the research topics of 'A timed component algebra for services'. Together they form a unique fingerprint.

Cite this