eprintid: 294
rev_number: 15
eprint_status: archive
userid: 32
dir: disk0/00/00/02/94
datestamp: 2011-05-27 14:23:50
lastmod: 2016-04-06 07:58:40
status_changed: 2011-05-27 14:23:50
type: book_section
metadata_visibility: show
item_issues_count: 0
creators_name: Wirsing, Martin
creators_name: De Nicola, Rocco
creators_name: Gilmore, Stephen
creators_name: Hölzl, Matthias
creators_name: Lucchi, Roberto
creators_name: Tribastone, Mirco
creators_name: Zavattaro, Gianluigi
creators_id: 
creators_id: r.denicola@imtlucca.it
creators_id: 
creators_id: 
creators_id: 
creators_id: mirco.tribastone@imtlucca.it
creators_id: 
title: SENSORIA Process Calculi for Service-Oriented Computing
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
abstract: The IST-FET Integrated Project Sensoria aims at developing a novel comprehensive approach to the engineering of service-oriented software systems where foundational theories, techniques and methods are fully integrated in a pragmatic software engineering approach. Process calculi and logical methods serve as the main mathematical basis of the Sensoria approach.  In this paper we give first a short overview of Sensoria and then focus on process calculi for service-oriented computing. The Service Centered Calculus SCC is a general purpose calculus which enriches traditional process calculi with an explicit notion of session; the Service Oriented Computing Kernel SOCK is inspired by the Web services protocol stack and consists of three layers for service description, service engines, and the service network; Performance Evaluation Process Algebra (PEPA) is an expressive formal language for modelling distributed systems which we use for quantitative analysis of services. The calculi and the analysis techniques are illustrated by a case study in the area of distributed e-learning systems.

date: 2006
date_type: published
series: Lecture Notes in Computer Science
volume: 4661
publisher: Springer
pagerange: 30-50
id_number: 10.1007/978-3-540-75336-0_3
refereed: TRUE
isbn: 978-3-540-75333-9
book_title: Trustworthy Global Computing (TGC 2006)
editors_name: Montanari, Ugo
editors_name: Sannella, Donald
editors_name: Bruni, Roberto
official_url: http://dx.doi.org/10.1007/978-3-540-75336-0_3
funders: This work has been partially sponsored by the project Sensoria, IST-2 005-016004 and by the DFG project MAEWA.
citation:   Wirsing, Martin and De Nicola, Rocco and Gilmore, Stephen and Hölzl, Matthias and Lucchi, Roberto and Tribastone, Mirco and Zavattaro, Gianluigi  SENSORIA Process Calculi for Service-Oriented Computing.   In:  Trustworthy Global Computing (TGC 2006).   Lecture Notes in Computer Science, 4661 .  Springer, pp. 30-50.  ISBN 978-3-540-75333-9      (2006)