Algebraic semantics of service component modules

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

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

14 Citations (Scopus)

Abstract

We present a notion of module acquired from developing an algebraic framework for service-oriented modelling. More specifically, we give an account of the notion of module that supports the composition model of the SENSORIA Reference Modelling Language (SRML). The proposed notion is independent of the logic in which properties are expressed and components are programmed. Modules in SRML are inspired in concepts proposed for Service Component Architecture (SCA) and Web Services, as well the modules that have been proposed for Algebraic Specifications, namely by H. Ehrig and F. Orejas, among others; they include interfaces for required (imported) and provided (exported) services, as well as a number of components (body) whose orchestrations ensure how given behavioural properties of the provided services are guaranteed assuming that the requested services satisfy required properties.

Original languageEnglish
Title of host publicationRecent Trends in Algebraic Development Techniques
Subtitle of host publication18th International Workshop, WADT 2006, Revised Selected Papers
EditorsJ. L. Fiadeiro, P. Y. Schobbens
Place of PublicationBerlin
PublisherSpringer Verlag
Pages37-55
Number of pages19
ISBN (Electronic)9783540719984
ISBN (Print)9783540719977
DOIs
Publication statusPublished - 2007
Event18th International Workshop on Algebraic Development Techniques, WADT 2006 - La Roche en Ardenne, Belgium
Duration: 1 Jun 20063 Jun 2006

Publication series

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

Conference

Conference18th International Workshop on Algebraic Development Techniques, WADT 2006
CountryBelgium
CityLa Roche en Ardenne
Period1/06/063/06/06

Keywords

  • Service Component
  • Composite Service
  • External Service
  • Interaction Protocol
  • Algebraic Semantic

Fingerprint Dive into the research topics of 'Algebraic semantics of service component modules'. Together they form a unique fingerprint.

  • Cite this

    Fiadeiro, J. L., Lopes, A., & Bocchi, L. (2007). Algebraic semantics of service component modules. In J. L. Fiadeiro, & P. Y. Schobbens (Eds.), Recent Trends in Algebraic Development Techniques: 18th International Workshop, WADT 2006, Revised Selected Papers (pp. 37-55). (Lecture Notes in Computer Science; Vol. 4409 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-540-71998-4_3