2011 | OriginalPaper | Buchkapitel
The Sensoria Approach Applied to the Finance Case Study
verfasst von : Stefania Gnesi, Rosario Pugliese, Francesco Tiezzi
Erschienen in: Rigorous Software Engineering for Service-Oriented Systems
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.