A formal approach to service component architecture

José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

63 Citations (Scopus)


We report on a formal framework being developed within the SEN-SORIA 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.

Original languageEnglish
Title of host publicationWeb Services and Formal Methods
Subtitle of host publicationThird International Workshop, WS-FM 2006, Proceedings
EditorsM. Bravetti, M. Nunez, G. Zavattaro
Place of PublicationBerlin
PublisherSpringer Verlag
Number of pages21
ISBN (Electronic)9783540388654
ISBN (Print)9783540388623
Publication statusPublished - 2006
Event3rd International Workshop on Web Services and Formal Methods, WS-FM 2006 - Vienna, Austria
Duration: 8 Sept 20069 Sept 2006

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference3rd International Workshop on Web Services and Formal Methods, WS-FM 2006


  • Formal Approach
  • Service Component
  • Service Description
  • Composite Service
  • Business Logic

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'A formal approach to service component architecture'. Together they form a unique fingerprint.

Cite this