SRML_WS-FM.pdf (521.38 kB)

A Formal Approach to Service Component Architecture

Download (521.38 kB)
chapter
posted on 12.01.2009, 14:59 by José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi
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.
Logo branding

Categories

Keywords

History

Citation

Lecture Notes in Computer Science, 2006, volume 4184, pp. 193-213.

Published in

Lecture Notes in Computer Science

Publisher

Springer Verlag

issn

0302-9743

isbn

9783540388623

Available date

12/01/2009

Publisher version

http://link.springer.com/chapter/10.1007/11841197_13

Notes

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 www.springerlink.com. Doi: 10.1007/11841197_13

Language

en

Exports

Logo branding

Categories

Keywords

Exports