@inproceedings{343a4fab58e74cd3905e1c51dee295b1,
title = "Consistency of service composition",
abstract = "We address the problem of ensuring that, when an application executing a service binds to a service that matches required functional properties, both the application and the service can work together, i.e., their composition is consistent. Our approach is based on a component algebra for service-oriented computing in which the configurations of applications and of services are modelled as asynchronous relational nets typed with logical interfaces. The techniques that we propose allow for the consistency of composition to be guaranteed based on properties of service orchestrations (implementations) and interfaces that can be checked at design time, which is essential for supporting the levels of dynamicity required by run-time service binding.",
keywords = "Temporal logic, service composition, Design Time, Linear Temporal Logic, Safety Property",
author = "Fiadeiro, {Jos{\'e} Luiz} and Ant{\'o}nia Lopes",
year = "2012",
month = apr,
day = "3",
doi = "10.1007/978-3-642-28872-2_5",
language = "English",
isbn = "9783642288715",
volume = "7212",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer ",
pages = "63--77",
booktitle = "Fundamental Approaches to Software Engineering - 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Proceedings",
note = "15th International Conference on Fundamental Approaches to Software Engineering, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012 ; Conference date: 24-03-2012 Through 01-04-2012",
}