A Formal Approach to Service Component Architecture

  title={A Formal Approach to Service Component Architecture},
  author={Jos{\'e} Luiz Fiadeiro and Ant{\'o}nia Lopes and 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… CONTINUE READING
Highly Cited
This paper has 123 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
75 Citations
12 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 75 extracted citations

124 Citations

Citations per Year
Semantic Scholar estimates that this publication has 124 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…