PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Gnesi S. Sensoria - Relations among case studies and theme 2 results: qualitative and quantitative analysis of aspects of services. Software Engineering for Service-Oriented Overlay Computers - EU FP6-IP-IST-016004. Deliverable D8.6, 2008.
 
 
Abstract
(English)
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.
Subject Case studies
Qualitative Analysis
Quantitative Analysis
J.0 Computer Applications. General
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