A framework for analyzing and testing the performance of software services (Contributo in atti di convegno)

Type

• Contributo in atti di convegno (Classe)
• Prodotto della ricerca (Classe)

Label

• A framework for analyzing and testing the performance of software services (Contributo in atti di convegno) (literal)

Anno

• 2008-01-01T00:00:00+01:00 (literal)

Alternative label

• Bertolino A.; De Angelis G.; Di Marco A.; Inverardi P.; Sabetta A.; Tivoli M. (2008)
  A framework for analyzing and testing the performance of software services
  in Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium ISoLA 2008, Porto Sani, Greece
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• Bertolino A.; De Angelis G.; Di Marco A.; Inverardi P.; Sabetta A.; Tivoli M. (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note

• In: ISoLA 2008 - Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium ISoLA 2008 (Porto Sani, Greece, October 13-15 2008). Proceedings, pp. 206 - 220. Tiziana Margaria, Bernhard Steffen (eds.). (Communications in Computer and Information Science, vol. 17). Springer Berlin Heidelberg, 2008. (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#descrizioneSinteticaDelProdotto

• ABSTRACT: Networks \"Beyond the 3rd Generation\" (B3G) are characterized by mobile and resource-limited devices that communicate through different kinds of network interfaces. Software services deployed in such networks shall adapt themselves according to possible execution contexts and requirement changes. At the same time, software services have to be competitive in terms of the Quality of Service (QoS) provided, or perceived by the end user. The PLASTIC project proposes an integrated model-based solution to the development and maintenance of services deployable over B3G networks. Notably, the PLASTIC solution includes formal techniques that combine predictive and empirical evaluation of QoS-aware services. In this paper we provide an overview of the PLASTIC approach to the assessment of QoS properties. Referring to a complex eHealth service, we first generate and analyze performance models to establish requirements for stand-alone services. Then we use an empirical technique to test the QoS of an orchestration of services even when the actual implementations of the orchestrated services are not available. (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

• CNR-ISTI, Pisa, Università dell'Aquila (literal)

Titolo

• A framework for analyzing and testing the performance of software services (literal)

Prodotto di

• Architetture a componenti per sistemi complessi affidabili (ICT.P09.005.001) (Modulo)
• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)

Autore CNR

• ANTONIA BERTOLINO (Persona)
• GUGLIELMO DE ANGELIS (Unità di personale interno)
• ANTONINO SABETTA (Unità di personale interno)

Insieme di parole chiave

• Keywords of "A framework for analyzing and testing the performance of software services" (Insieme di parole chiave)

Incoming links:

Autore CNR di

• ANTONIA BERTOLINO (Persona)
• GUGLIELMO DE ANGELIS (Unità di personale interno)
• ANTONINO SABETTA (Unità di personale interno)

Prodotto

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)
• Architetture a componenti per sistemi complessi affidabili (ICT.P09.005.001) (Modulo)

Insieme di parole chiave di

• Keywords of "A framework for analyzing and testing the performance of software services" (Insieme di parole chiave)