Sensoria Process Calculi for Service-Oriented Computing

Martin Wirsing, Rocco Nicola, Stephen Gilmore, Matthias Hölzl, Roberto Lucchi, Mirco Tribastone, Gianlugi Zavattaro

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


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.
Original languageEnglish
Title of host publicationTrustworthy Global Computing
Subtitle of host publicationSecond Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers
EditorsUgo Montanari, Donald Sannella, Roberto Bruni
PublisherSpringer-Verlag GmbH
Number of pages21
ISBN (Electronic)978-3-540-75336-0
ISBN (Print)978-3-540-75333-9
Publication statusPublished - 2007

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Fingerprint Dive into the research topics of 'Sensoria Process Calculi for Service-Oriented Computing'. Together they form a unique fingerprint.

Cite this