@inproceedings{7a8500d0abed40cd837ff34db9aa44c6,
title = "Algebraic semantics of service component modules",
abstract = "We present a notion of module acquired from developing an algebraic framework for service-oriented modelling. More specifically, we give an account of the notion of module that supports the composition model of the SENSORIA Reference Modelling Language (SRML). The proposed notion is independent of the logic in which properties are expressed and components are programmed. Modules in SRML are inspired in concepts proposed for Service Component Architecture (SCA) and Web Services, as well the modules that have been proposed for Algebraic Specifications, namely by H. Ehrig and F. Orejas, among others; they include interfaces for required (imported) and provided (exported) services, as well as a number of components (body) whose orchestrations ensure how given behavioural properties of the provided services are guaranteed assuming that the requested services satisfy required properties.",
keywords = "Service Component, Composite Service, External Service, Interaction Protocol, Algebraic Semantic",
author = "Fiadeiro, {Jos{\'e} Luiz} and Ant{\'o}nia Lopes and Laura Bocchi",
year = "2007",
doi = "10.1007/978-3-540-71998-4_3",
language = "English",
isbn = "9783540719977",
series = "Lecture Notes in Computer Science",
publisher = "Springer Verlag",
pages = "37--55",
editor = "Fiadeiro, {J. L.} and Schobbens, {P. Y.}",
booktitle = "Recent Trends in Algebraic Development Techniques",
address = "Germany",
note = "18th International Workshop on Algebraic Development Techniques, WADT 2006 ; Conference date: 01-06-2006 Through 03-06-2006",
}