Core Calculi for Service-Oriented Computing

Research output: Chapter in Book/Report/Conference proceedingChapter

7 Citations (Scopus)

Abstract

Core calculi have been adopted in the Sensoria project with three main aims. First of all, they have been used to clarify and formally define the basic concepts that characterize theSensoriaapproach to the modeling of service-oriented applications. In second place, they are formal models on which theSensoriaanalysis techniques have been developed. Finally, they have been used to drive the implementation of the prototypes of theSensorialanguages for programming actual service-based systems. This chapter reports about the Sensoria core calculi presenting their syntax and intuitive semantics, and describing their main features by means of a common running example, namely a Credit Request scenario taken from theSensoriaFinance case study.
Original languageUnknown
Title of host publicationRigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing.
EditorsMartin Wirsing, Matthias M. Hölzl
Place of PublicationBerlin Heidelberg
PublisherSpringer Berlin Heidelberg
Pages153-188
ISBN (Print)978-3-642-20400-5
Publication statusPublished - 1 Jan 2011

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg
Number6582
ISSN (Print)0302-9743

Cite this

Caires, L. M. M. D. C. (2011). Core Calculi for Service-Oriented Computing. In M. Wirsing, & M. M. Hölzl (Eds.), Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing. (pp. 153-188). (Lecture Notes in Computer Science; No. 6582). Berlin Heidelberg: Springer Berlin Heidelberg.