@inproceedings{2ee84454e0b6479c8c4da9bb69b4f9c2,
title = "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.",
keywords = "Time Sequence, Design Time, Incoming Message, Interface Theory, Outgoing Message",
author = "Beno{\^i}t Delahaye and Fiadeiro, {Jos{\'e} Luiz} and Axel Legay and Ant{\'o}nia Lopes",
year = "2013",
doi = "10.1007/978-3-642-38592-6_17",
language = "English",
isbn = "9783642385919",
series = "Lecture Notes in Computer Science",
publisher = "Springer Verlag",
pages = "242--257",
editor = "Dirk Beyer and Michele Boreale",
booktitle = "Formal 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",
address = "Germany",
note = "Joint 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 ; Conference date: 03-06-2013 Through 05-06-2013",
}