TY  - CHAP
AV  - public
SN  - 978-3-642-20400-5
M1  - 6582
SP  - 698
ID  - eprints1568
Y1  - 2011///
N1  - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing
TI  - The Sensoria Approach Applied to the Finance Case Study
A1  - Gnesi, Stefania
A1  - Pugliese, Rosario
A1  - Tiezzi, Francesco
UR  - http://dx.doi.org/10.1007/978-3-642-20401-2_34
T3  - Lecture Notes in Computer Science
N2  - This chapter provides an effective implementation of (part of) the Sensoria approach, specifically modelling and formal analysis of service-oriented software based on mathematically founded techniques. The ?Finance case study?
is used as a test bed for demonstrating the feasibility and effectiveness of the use of the process calculus COWS and some of its related analysis techniques and tools. In particular, we report the results of an application of a temporal logic and its model checker for expressing and checking functional properties of services and a type system for guaranteeing confidentiality properties of services.
EP  - 718
PB  - Springer
T2  - Rigorous Software Engineering for Service-Oriented Systems 
ED  - Wirsing, Martin
ED  - Hölzl, Matthias M.
ER  -