QoS contract-aware reconfiguration of component architectures using e-graphs

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.

• Autores: Tamura Morimitsu, Gabriel
• Tipo de recurso: Part of book
• Fecha de publicación: 2010
• Institución: Universidad ICESI
• Repositorio: Repositorio ICESI
• Idioma: spa
• OAI Identifier: oai:repository.icesi.edu.co:10906/79542
• Acceso en línea: http://www.springerlink.com/index/10.1007/978-3-642-27269-1; http://download.springer.com/static/pdf/887/bfm%253A978-3-642-27269-1%252F1.pdf?originUrl=http%3A%2F%2Flink.springer.com%2Fbook%2Fbfm%3A978-3-642-27269-1%2F1&token2=exp=1466023776~acl=%2Fstatic%2; http://hdl.handle.net/10906/79542; http://dx.doi.org/10.1007/978-3-642-27269-1
• Palabra clave: QoS (Calidad de servicio); Automatización y sistemas de control; Ingeniería de software; Software; Automation command and control system
• Rights: openAccess
• License: https://creativecommons.org/licenses/by-nc-nd/4.0/