Istituto di Scienza e Tecnologie dell'Informazione     
Gnesi S., Pugliese R., Tiezzi F. The Sensoria approach applied to the finance case study. Martin Wirsing, Matthias Hölzl (eds.). (Lecture Notes in Computer Science, vol. 6582). Heidelberg: Springer, 2011.
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.
URL: http://www.springerlink.com/content/gm1p85k013286656/
DOI: 10.1007/978-3-642-20401-2_34
Subject Modelling and formal analysis of service-oriented software
D.2.4 Software/Program Verification

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional