Consistency Analysis of Dynamic Evolution of Software Architectures Using Constraint Hypergraph Grammars

摘要

With increasing demands and changing environment on software systems, a major challenge for those systems is to evolve themselves to adapt to these variations, especially during their running, where dynamic evolution of software architectures has been a key issue of software dynamic evolution research. Most current research in this direction focuses on describing dynamic evolution process of software architectures, and lack consistency analysis of dynamic evolution of software architectures. In this paper, we propose to represent software architectures with constraint hypergraphs, model dynamic evolution of software architectures with constraint hypergraph grammars, and discuss the consistency condition and corresponding consistency decision method of dynamic evolution of software architectures. Our approach provides a formal theoretical basis and a user-friendly graphical representation for consistency analysis of dynamic evolution of software architectures.