@inproceedings{87e11e28217644f1a86baf0504e2fad0,
title = "An interface theory for service-oriented design",
abstract = "We revisit the notions of interface and component algebra proposed by de Alfaro and Henzinger in [7] for component-based design and put forward elements of a corresponding interface theory for service-oriented design. We view services as a layer that can be added over a component infrastructure and propose a notion of service interface for a component algebra that is an asynchronous version of relational nets adapted to SCA (the Service Component Architecture developed by the Open Service-Oriented Architecture collaboration).",
keywords = "Linear Temporal Logic, Composite Service, Service Interface, Loose Coupling, External Service",
author = "Fiadeiro, {Jos{\'e} Luiz} and Ant{\'o}nia Lopes",
year = "2011",
month = apr,
day = "4",
doi = "10.1007/978-3-642-19811-3_3",
language = "English",
isbn = "9783642198106",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "18--33",
booktitle = "Fundamental Approaches to Software Engineering - 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Proceedings",
note = "14th International Conference on Fundamental Approaches to Software Engineering, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011 ; Conference date: 26-03-2011 Through 03-04-2011",
}