relation: http://eprints.imtlucca.it/1568/
title: The Sensoria Approach Applied to the Finance Case Study
creator: Gnesi, Stefania
creator: Pugliese, Rosario
creator: Tiezzi, Francesco
subject: QA75 Electronic computers. Computer science
description: 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.
publisher: Springer
contributor: Wirsing, Martin
contributor: Hölzl, Matthias M.
date: 2011
type: Book Section
type: PeerReviewed
format: application/pdf
language: en
identifier: http://eprints.imtlucca.it/1568/1/GPT_sensoriaBook.pdf
identifier:   Gnesi, Stefania and Pugliese, Rosario and Tiezzi, Francesco  The Sensoria Approach Applied to the Finance Case Study.   In:  Rigorous Software Engineering for Service-Oriented Systems.   Lecture Notes in Computer Science, 6582  (6582).  Springer, pp. 698-718.  ISBN 978-3-642-20400-5      (2011)  
relation: http://dx.doi.org/10.1007/978-3-642-20401-2_34
relation: 10.1007/978-3-642-20401-2_34