eprintid: 909
rev_number: 7
eprint_status: archive
userid: 32
dir: disk0/00/00/09/09
datestamp: 2011-10-06 09:13:07
lastmod: 2011-10-06 09:28:54
status_changed: 2011-10-06 09:13:07
type: book_section
metadata_visibility: show
creators_name: Caires, Luis
creators_name: De Nicola, Rocco
creators_name: Pugliese, Rosario
creators_name: Vasconcelos, Vasco Thudichum
creators_name: Zavattaro, Gianluigi
creators_id: 
creators_id: r.denicola@imtlucca.it
creators_id: 
creators_id: 
creators_id: 
title: Core calculi for service-oriented computing
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
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 the Sensoria approach to the modeling of service-oriented applications. In second place, they are formal models on which the Sensoria analysis techniques have been developed. Finally, they have been used to drive the implementation of the prototypes of the Sensoria languages 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 the Sensoria Finance case study. 
date: 2011
series: Lecture Notes in Computer Science
number: 6582
publisher: Springer-Verlag
pagerange: 153-188
id_number: doi:10.1007/978-3-642-20401-2_8
refereed: TRUE
isbn: 978-3-642-20400-5
issn: 0302-9743
book_title: Rigorous software engineering for service-oriented systems: results of the SENSORIA project on software engineering for service-oriented computing
editors_name: Wirsing, Martin
editors_name: Hölzl, Matthias M.
official_url: http://dx.doi.org/10.1007/978-3-642-20401-2_8
projects: This work has been partially sponsored by the project Sensoria, IST-2005-01600
citation:   Caires, Luis and De Nicola, Rocco and Pugliese, Rosario and Vasconcelos, Vasco Thudichum and Zavattaro, Gianluigi  Core calculi for service-oriented computing.   In:  Rigorous software engineering for service-oriented systems: results of the SENSORIA project on software engineering for service-oriented computing.   Lecture Notes in Computer Science  (6582).  Springer-Verlag, pp. 153-188.  ISBN 978-3-642-20400-5      (2011)