QoS Contract Preservation through Dynamic ...
Type de document :
Article dans une revue scientifique: Article original
Titre :
QoS Contract Preservation through Dynamic Reconfiguration: A Formal Semantics Approach
Auteur(s) :
Tamura, Gabriel [Auteur]
Casallas, Rubby [Auteur]
Construcción de Software - Facultad de Ingéniería [Bogotá]
Cleve, Anthony [Auteur]
PReCISE Research Centre in Information Systems Engineering [PReCISE]
Duchien, Laurence [Auteur]
Self-adaptation for distributed services and large software systems [SPIRALS]
Université de Lille, Sciences et Technologies
Laboratoire d'Informatique Fondamentale de Lille [LIFL]
Casallas, Rubby [Auteur]
Construcción de Software - Facultad de Ingéniería [Bogotá]
Cleve, Anthony [Auteur]
PReCISE Research Centre in Information Systems Engineering [PReCISE]
Duchien, Laurence [Auteur]

Self-adaptation for distributed services and large software systems [SPIRALS]
Université de Lille, Sciences et Technologies
Laboratoire d'Informatique Fondamentale de Lille [LIFL]
Titre de la revue :
Science of Computer Programming
Selected best papers from the 7th International Workshop on Formal Aspects of Component Software (FACS 2010)
Selected best papers from the 7th International Workshop on Formal Aspects of Component Software (FACS 2010)
Pagination :
25
Éditeur :
Elsevier
Date de publication :
2014
ISSN :
0167-6423
Discipline(s) HAL :
Informatique [cs]/Génie logiciel [cs.SE]
Résumé en anglais : [en]
The increasing pervasiveness of computing services in everyday life, combined with the dynamic nature of their execution contexts, constitutes a major challenge in guaranteeing the expected quality of such services at ...
Lire la suite >The increasing pervasiveness of computing services in everyday life, combined with the dynamic nature of their execution contexts, constitutes a major challenge in guaranteeing the expected quality of such services at runtime. Quality of Service (QoS) contracts have been proposed to specify expected quality levels (QoS levels) on different context conditions, with different enforcing mechanisms. In this paper we present a definition for QoS contracts as a high-level policy for governing the behavior of software systems that self-adapt at runtime in response to context changes. To realize this contract definition, we specify its formal semantics and implement it in a software framework able to execute and reconfigure software applications, in order to maintain fulfilled their associated QoS contracts. The contribution of this paper is threefold. First, we extend typed-attributed graph transformation systems and finite-state machines, and use them as denotations to specify the semantics of QoS contracts. Second, this semantics makes it possible to systematically exploit design patterns at runtime by dynamically deploying them in the managed software application. Third, our semantics guarantees self-adaptive properties such as reliability and robustness in the contract satisfaction. Finally, we evaluate the applicability of our semantics implementation by integrating and executing it in FraSCAti, a multi-scale component-based middleware, in three case studies.Lire moins >
Lire la suite >The increasing pervasiveness of computing services in everyday life, combined with the dynamic nature of their execution contexts, constitutes a major challenge in guaranteeing the expected quality of such services at runtime. Quality of Service (QoS) contracts have been proposed to specify expected quality levels (QoS levels) on different context conditions, with different enforcing mechanisms. In this paper we present a definition for QoS contracts as a high-level policy for governing the behavior of software systems that self-adapt at runtime in response to context changes. To realize this contract definition, we specify its formal semantics and implement it in a software framework able to execute and reconfigure software applications, in order to maintain fulfilled their associated QoS contracts. The contribution of this paper is threefold. First, we extend typed-attributed graph transformation systems and finite-state machines, and use them as denotations to specify the semantics of QoS contracts. Second, this semantics makes it possible to systematically exploit design patterns at runtime by dynamically deploying them in the managed software application. Third, our semantics guarantees self-adaptive properties such as reliability and robustness in the contract satisfaction. Finally, we evaluate the applicability of our semantics implementation by integrating and executing it in FraSCAti, a multi-scale component-based middleware, in three case studies.Lire moins >
Langue :
Anglais
Comité de lecture :
Oui
Audience :
Internationale
Vulgarisation :
Non
Collections :
Source :
Fichiers
- https://hal.inria.fr/hal-00911844/document
- Accès libre
- Accéder au document
- https://hal.inria.fr/hal-00911844/document
- Accès libre
- Accéder au document
- SCICO-D-11-00245R3.pdf
- Accès libre
- Accéder au document
- SCICO-D-11-00245R3.pdf
- Accès libre
- Accéder au document
- document
- Accès libre
- Accéder au document
- document
- Accès libre
- Accéder au document
- SCICO-D-11-00245R3.pdf
- Accès libre
- Accéder au document