Document - The Sensoria approach applied to the finance case study

2011

Contribution to book Open Access

The Sensoria approach applied to the finance case study

Gnesi S., Pugliese R., Tiezzi F.

Modelling and formal analysis of service-oriented software

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.

Source: Rigorous Software Engineering for Service-Oriented Systems. Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing, edited by Martin Wirsing, Matthias Hölzl, pp. 698–718. Berlin: Springer-Verlag, 2011

Publisher: Springer-Verlag, Berlin, DEU

Metrics

Back to previous page

Cite as

BibTeX entry

@inbook{oai:it.cnr:prodotti:203871,
	title = {The Sensoria approach applied to the finance case study},
	author = {Gnesi S. and Pugliese R. and Tiezzi F.},
	publisher = {Springer-Verlag, Berlin, DEU},
	doi = {10.1007/978-3-642-20401-2_34},
	booktitle = {Rigorous Software Engineering for Service-Oriented Systems. Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing, edited by Martin Wirsing, Matthias Hölzl, pp. 698–718. Berlin: Springer-Verlag, 2011},
	year = {2011}
}