eprintid: 1568
rev_number: 10
eprint_status: archive
userid: 31
dir: disk0/00/00/15/68
datestamp: 2013-05-03 11:36:21
lastmod: 2013-05-03 11:36:21
status_changed: 2013-05-03 11:36:21
type: book_section
metadata_visibility: show
creators_name: Gnesi, Stefania
creators_name: Pugliese, Rosario
creators_name: Tiezzi, Francesco
creators_id: 
creators_id: 
creators_id: francesco.tiezzi@imtlucca.it
title: The Sensoria Approach Applied to the Finance Case Study
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
note: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing
abstract: 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.
date: 2011
date_type: published
series: Lecture Notes in Computer Science
volume: 6582
number: 6582
publisher: Springer
pagerange: 698-718
id_number: 10.1007/978-3-642-20401-2_34
refereed: TRUE
isbn: 978-3-642-20400-5
book_title: Rigorous Software Engineering for Service-Oriented Systems 
editors_name: Wirsing, Martin
editors_name: Hölzl, Matthias M.
official_url: http://dx.doi.org/10.1007/978-3-642-20401-2_34
projects: This work has been partially sponsored by the project Sensoria, IST-2005-016004.
citation:   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)  
document_url: http://eprints.imtlucca.it/1568/1/GPT_sensoriaBook.pdf