PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Bertolino A., De Angelis G., Di Marco A., Inverardi P., Sabetta A., Tivoli M. A framework for analyzing and testing the performance of software services. 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.
 
 
Abstract
(English)
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.
URL: http://www.springerlink.com/content/v8jq87/?p=3935798672674f1db9d16d69f5f5e664&pi=0
DOI: 10.1007/978-3-540-88479-8_15
Subject Verification and Validation
Service-oriented systems
D.2.4 Software/Program Verification
D.2.5 Testing and Debugging


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