QoS Contract-Aware Reconfiguration of Component Architectures Using E-Graphs

Abstract : In this paper we focus on the formalization of component-based architecture self-reconfiguration as an action associated to quality-of-service (QoS) contracts violation. With this, we aim to develop on the vision of the component-based software engineering (CBSE) as a generator of software artifacts responsible for QoS contracts. This formalization, together with a definition of a QoS contract, forms the basis of the framework we propose to enable a system to preserve its QoS contracts. Our approach is built on a theory of extended graph (e-graph) rewriting as a formalism to represent QoS contracts, component-based architectural structures and architecture reconfiguration. We use a rule-based strategy for the extensible part of our framework. The reconfiguration rules are expressed as e-graph rewriting rules whose left and right hand sides can be used to encode design patterns for addressing QoS properties. These rules, given by a QoS property domain expert, are checked as safe, i.e., terminating and confluent, before its application by graph pattern-matching over the runtime representation of the system.
Type de document :
Communication dans un congrès
Markus Lumpe; Luis Barbosa. 7th International Workshop on Formal Aspects of Component Software, Oct 2010, Guimaraes, Portugal. LNCS, 6921, pp.34-52, 2010, Formal Aspects of Component Software 2010
Liste complète des métadonnées

Littérature citée [20 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00525438
Contributeur : Gabriel Tamura <>
Soumis le : lundi 25 octobre 2010 - 21:45:44
Dernière modification le : jeudi 11 janvier 2018 - 06:22:13
Document(s) archivé(s) le : mercredi 26 janvier 2011 - 02:39:30

Fichier

contract-aware-architecture-re...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00525438, version 1

Collections

Citation

Gabriel Tamura, Rubby Casallas, Anthony Cleve, Laurence Duchien. QoS Contract-Aware Reconfiguration of Component Architectures Using E-Graphs. Markus Lumpe; Luis Barbosa. 7th International Workshop on Formal Aspects of Component Software, Oct 2010, Guimaraes, Portugal. LNCS, 6921, pp.34-52, 2010, Formal Aspects of Component Software 2010. 〈inria-00525438〉

Partager

Métriques

Consultations de la notice

456

Téléchargements de fichiers

271