Detail

A Formal Approach to Service Component Architecture

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.

[joint work with Jose Fiadeiro and Laura Bochi]