Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
|
 |
A Framework for Analyzing and Testing the Performance of Software Services
| |
|
| Communications in Computer and Information Science |
Leveraging Applications of Formal Methods, Verification and Validation
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings
|
| 10.1007/978-3-540-88479-8_15 |
| Tiziana Margaria and Bernhard Steffen |
A Framework for Analyzing and Testing the Performance of Software Services
Antonia Bertolino3  , Guglielmo De Angelis3 , Antinisca Di Marco4 , Paola Inverardi4 , Antonino Sabetta3 and Massimo Tivoli4
| (3) |
ISTI-CNR, Pisa, Italy |
| (4) |
Dipartimento di Informatica, Università dell’Aquila, via Vetoio, L’Aquila, Italy |
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.
Fulltext Preview (Small, Large)
 References secured to subscribers.
|
|
|
|
|
|