A formal approach to service component architecture

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

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

51 Citations (Scopus)

Abstract

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
Pages193-213
Number of pages21
ISBN (Electronic)9783540388654
ISBN (Print)9783540388623
DOIs
Publication statusPublished - 2006
Event3rd International Workshop on Web Services and Formal Methods, WS-FM 2006 - Vienna, Austria
Duration: 8 Sep 20069 Sep 2006

Publication series

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

Conference

Conference3rd International Workshop on Web Services and Formal Methods, WS-FM 2006
CountryAustria
CityVienna
Period8/09/069/09/06

Keywords

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

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

Cite this