Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2006 | 10.1007/978-3-540-75336-0_3 | TGC |
DocType | Citations | PageRank |
Conference | 1 | 0.35 |
References | Authors | |
11 | 7 |
Name | Order | Citations | PageRank |
---|---|---|---|
Martin Wirsing | 1 | 2158 | 267.89 |
rocco de nicola | 2 | 2883 | 251.96 |
Stephen Gilmore | 3 | 90 | 5.28 |
Matthias M. H ölzl | 4 | 36 | 4.97 |
Roberto Lucchi | 5 | 583 | 39.10 |
mirco tribastone | 6 | 518 | 43.87 |
Gianluigi Zavattaro | 7 | 1953 | 127.60 |