A Timed Component Algebra for Services

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.
Type de document :
Communication dans un congrès
Dirk Beyer; Michele Boreale. 15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. Springer, Lecture Notes in Computer Science, LNCS-7892, pp.242-257, 2013, Formal Techniques for Distributed Systems. 〈10.1007/978-3-642-38592-6_17〉
Liste complète des métadonnées

Littérature citée [18 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01515250
Contributeur : Hal Ifip <>
Soumis le : jeudi 27 avril 2017 - 10:46:53
Dernière modification le : vendredi 16 novembre 2018 - 01:27:21
Document(s) archivé(s) le : vendredi 28 juillet 2017 - 12:32:09

Fichier

978-3-642-38592-6_17_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Benoît Delahaye, José Fiadeiro, Axel Legay, Antónia Lopes. A Timed Component Algebra for Services. Dirk Beyer; Michele Boreale. 15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. Springer, Lecture Notes in Computer Science, LNCS-7892, pp.242-257, 2013, Formal Techniques for Distributed Systems. 〈10.1007/978-3-642-38592-6_17〉. 〈hal-01515250〉

Partager

Métriques

Consultations de la notice

912

Téléchargements de fichiers

35