|
|
|
|
SENSORIA Overview Publications |
|
Copyright Information
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of
scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other
copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying
this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without
the explicit permission of the copyright holder.
show all publications
SENSORIA Process Calculi for Service-Oriented Computing
Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias Hölzl, Roberto Lucchi, Mirco Tribastone, Gianluigi Zavattaro.
Trustworthy Global Computing, Second Symposium, TGC 2006, Revised Selected Papers.. Don Sanella, Ugo Montanari (Eds.). pp. 30-50. Lecture Notes in Computer Science vol. 4661. Springer. 2007. 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.
paper download: TGCSensoria.pdfAddress: Italy
Categories: Overview paper
doi: 10.1007/978-3-540-75336-0_3
Keywords: process calculi
Main: Overview
Partners: DSIUF, LMU, UEDIN, UNIBO
Status: public
Tasks: T2.1
@INPROCEEDINGS{WDGHLTZ07,
title = {{SENSORIA Process Calculi for Service-Oriented Computing}},
author = {{Martin} {Wirsing} and {Rocco} {De Nicola} and {Stephen} {Gilmore} and {Matthias} {H\"olzl} and {Roberto} {Lucchi} and {Mirco} {Tribastone} and {Gianluigi} {Zavattaro}},
booktitle = {Trustworthy Global Computing, Second Symposium, TGC 2006, Revised Selected Papers.},
editor = {Don Sanella and Ugo Montanari},
pages = {30-50},
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.},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {4661},
year = {2007},
url = {http://rap.dsi.unifi.it/sensoriasite/TGCSensoria.pdf},
address = {Italy},
doi = {10.1007/978-3-540-75336-0_3},
keywords = {process calculi},
main = {Overview},
partner = {DSIUF, LMU, UEDIN, UNIBO},
status = {public},
task = {T2.1},
}
|
|
|
 |
|
Publications 
