%0 Conference Proceedings
%T A Timed Component Algebra for Services
%+ Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA)
%+ Department of Computer Science (Royal Holloway University of London)
%+ Threat Analysis and Mitigation for Information Security (TAMIS)
%+ Faculdade de Ciências e Tecnologia = School of Science & Technology (FCT NOVA)
%A Delahaye, Benoît
%A Fiadeiro, José, Luiz
%A Legay, Axel
%A Lopes, Antónia
%Z Part 8: Session 7: Distribution and Concurrency
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 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)
%C Florence, Italy
%Y Dirk Beyer
%Y Michele Boreale
%I Springer
%3 Formal Techniques for Distributed Systems
%V LNCS-7892
%P 242-257
%8 2013-06-03
%D 2013
%R 10.1007/978-3-642-38592-6_17
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X 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.
%G English
%2 https://inria.hal.science/hal-01515250/document
%2 https://inria.hal.science/hal-01515250/file/978-3-642-38592-6_17_Chapter.pdf
%L hal-01515250
%U https://inria.hal.science/hal-01515250
%~ INSTITUT-TELECOM
%~ EC-PARIS
%~ UNIV-RENNES1
%~ CNRS
%~ INRIA
%~ UNIV-UBS
%~ INSA-RENNES
%~ INRIA-RENNES
%~ IRISA
%~ IRISA_SET
%~ INRIA_TEST
%~ TESTALAIN1
%~ IFIP-LNCS
%~ IFIP
%~ INRIA2
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ UR1-HAL
%~ UR1-MATH-STIC
%~ IFIP-FORTE
%~ UR1-UFR-ISTIC
%~ IFIP-DISCOTEC
%~ IFIP-LNCS-7892
%~ TEST-UNIV-RENNES
%~ TEST-UR-CSS
%~ UNIV-RENNES
%~ INRIA-RENGRE
%~ INSA-GROUPE
%~ INSTITUTS-TELECOM
%~ UR1-MATH-NUM
%~ INRIA-ROYAUMEUNI