Relations among case studies and theme 2 results: qualitative and quantitative analysis of aspects of services

This deliverable provides an overview of the relations between the SENSORIA case studies from WP8 and the technical work carried out as part of Theme 2: Mathematical analysis and verification techniques and tools for system behaviour and quality of service properties. This theme deals with logic developments, type systems and static analysis techniques to develop tools and methods to guarantee a high level of security and trust for the location transparent delivery of services, while allowing mobility of resources, as well as with the development of stochastic techniques to analyse quantitative aspects of services. These activities are broken down into two work packages: WP3 Qualitative Aspects of Services; WP4 Quantitative Aspects of Services. This deliverable thus shows how the theoretical approaches to qualitative and quantitative aspects of services from WP3 and WP4 can be applied to some case study scenarios from the Service-Oriented Computing (SOC) domain.