@inproceedings{f498878f4b6a4b95a1e0645448299d6a,
title = "A formal approach to service component architecture",
abstract = "We report on a formal framework being developed within the SEN-SORIA project for supporting service-oriented modelling at high levels of abstraction, i.e. independently of the hosting middleware and hardware platforms, and the languages in which services are programmed. More specifically, we give an account of the concepts and techniques that support the composition model of SENSORIA, i.e. the mechanisms through which complex applications can be put together from simpler components, including modelling primitives for the orchestration of components and the definition of external interfaces.",
keywords = "Formal Approach, Service Component, Service Description, Composite Service, Business Logic",
author = "Fiadeiro, {Jos{\'e} Luiz} and Ant{\'o}nia Lopes and Laura Bocchi",
year = "2006",
doi = "10.1007/11841197_13",
language = "English",
isbn = "9783540388623",
series = "Lecture Notes in Computer Science",
publisher = "Springer Verlag",
pages = "193--213",
editor = "M. Bravetti and M. Nunez and G. Zavattaro",
booktitle = "Web Services and Formal Methods",
address = "Germany",
note = "3rd International Workshop on Web Services and Formal Methods, WS-FM 2006 ; Conference date: 08-09-2006 Through 09-09-2006",
}