Autores

5640
Marco Eugênio Madeira Di Beneditto
2596,230
5641
2596,230

Informações:

Publicações do PESC

Título
Geração de Planos de Reconfiguração em Tempo de Execução
Linha de pesquisa
Engenharia de Software
Tipo de publicação
Tese de Doutorado
Número de registro
Data da defesa
30/7/2014
Resumo
Considerando-se um sistema de software baseado em componentes e que necessita  ser reconfigurado dinamicamente, em algumas situações a utilização de um conjunto pré-definido de regras de reconfiguração pode ser incapaz de lidar com a tarefa de reconfiguração. Se a geração da sequência de ações de reconfiguração, denominado de plano de reconfiguração, é feita em tempo de execução, ao invés de num instante prévio e de forma  fixa, novas soluções podem ser geradas para tratar   situações inesperadas,  aproveitando-se novas oportunidades. No entanto, a geração deste plano implica a solução de novas questões como ser consistente em relação aos  componentes, composições e conexões providos pelo modelo de componentes subjacente.
Nesta tese, apresentamos um procedimento de reconfiguração que gera um plano de reconfiguração em tempo de execução. Dadas duas configurações de software, a atual e a objetivo, um procedimento gera, se existir, um plano de reconfiguração que irá conduzir a evolução arquitetural entre essas configurações. O procedimento também pode gerar uma sequência de iniciação se a configuração atual estiver vazia. O  procedimento baseia-se no conceito de Planejamento Automatizado, uma área da inteligência artificial. Como estudo de caso,  o procedimento foi utilizado para o modelo de componentes Fractal e aplicado em dois diferentes sistemas de software baseados em componentes.
Abstract
Considering a component-based software system that needs to be dynamically reconfigured, in some situations the use of a predefined set of reconfiguration rules may be unable to handle the reconfiguration task. If the generation of the sequence of reconfiguration actions, called reconfiguration plan, is made at runtime, instead of in a previous and  fixed  way, new solutions may be generated treating  unexpected situations and taking advantage of new opportunities. However, the generation of this plan  implies the solution of new issues like being  architecturally-consistent in respect to the  components, compositions  and  connections provided by the underlying component model. In this paper, we present a reconfiguration procedure  that generates a reconfiguration plan at runtime. Given two software configurations,  current and the goal one, the procedure generates, if any, a reconfiguration plan that will drive the architectural evolution among these configurations. The procedure can also generate an initialization sequence if the current configuration is empty. The proposed procedure is based on the concept of Automated Planning, an Artificial Intelligence area. As a case study, the procedure was employed for the Fractal component model and applied it to two different software applications developed in a component based fashion.
Topo