Please use this identifier to cite or link to this item:
Title: A Formal Approach to Service Component Architecture
Authors: Fiadeiro, José Luiz
Lopes, Antónia
Bocchi, Laura
First Published: Sep-2006
Publisher: Springer Verlag
Citation: Lecture Notes in Computer Science, 2006, volume 4184, pp. 193-213.
Abstract: We report on a formal framework being developed within the SENSORIA 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.
DOI Link: 10.1007/11841197_13
ISSN: 0302-9743
ISBN: 9783540388623
Type: Book chapter
Description: This is the author's final draft of the paper published as Lecture Notes in Computer Science, 2006, volume 4184, pp. 193-213. The original publication is available at Doi: 10.1007/11841197_13
Appears in Collections:Books & Book Chapters, Dept. of Computer Science

Files in This Item:
File Description SizeFormat 
SRML_WS-FM.pdf521.38 kBAdobe PDFView/Open

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