Please use this identifier to cite or link to this item:
Title: Algebraic semantics of service component modules.
Authors: Fiadeiro, José Luiz
Lopes, Antónia
Bocchi, Laura
First Published: Jun-2007
Publisher: Springer Verlag
Citation: Lecture Notes in Computer Science, 2007, volume 4409, pp. 37-55.
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.
DOI Link: 10.1007/978-3-540-71998-4
ISSN: 0302-9743
ISBN: 9783540719977
Type: Book chapter
Description: This is the author's final draft of the paper published as Lecture Notes in Computer Science, 2007, volume 4409, pp. 37-55. The original publication is available at Doi: 10.1007/978-3-540-71998-4
Appears in Collections:Books & Book Chapters, Dept. of Computer Science

Files in This Item:
File Description SizeFormat 
SRML_WADT06.pdf889.34 kBAdobe PDFView/Open

Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.