Copyright Information
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely
dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained
by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It
is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's
copyright. These works may not be reposted without the explicit permission of the copyright holder.
show all publications
Algebraic Semantics of Service Component Modules @INPROCEEDINGS{FLB07,
title = {{Algebraic Semantics of Service Component Modules}},
author = {{Jos{\'e} Luiz} {Fiadeiro} and {Ant{\'o}nia} {Lopes} and {Laura} {Bocchi}},
booktitle = {Algebraic Development Techniques},
editor = {J. L. Fiadeiro and P. Y. Schobbens},
pages = {37-55},
publisher = {Springer},
series = {LNCS},
volume = {4409},
year = {2007},
partner = {ULEICES and FFCUL},
status = {public},
task = {T1.1},
url = {http://www.pst.informatik.uni-muenchen.de:8080/Sensoria/DOWNLOAD/SRML_WADT06.pdf},
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 models 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.},
}
|