基于超图文法的软件体系结构动态演化

提出用带约束的超图表示软件体系结构,给出基于超图态射的软件体系结构动态演化通用产生式规则的形式化语义和操作,定义类型超图作为体系结构风格,运用超图文法和体系结构风格建模软件体系结构动态演化.为了验证软件体系结构动态演化的正确性,采用模型检测技术,设计算法对软件体系结构动态演化性质进行形式化验证,并应用模型检测工具进行实验分析.该方法既提供了图形化的直观表示,又展示了基于文法的形式化理论框架.

Dynamic Evolution of Software Architectures Based on Hypergraph Grammars

The authors proposed to represent software architectures with hypergraphs, gave formal semantics and operations of dynamic evolution production rules of software architectures based on hypergraph grammars, defined a software architecture style as a constraint, and modeled dynamic evolution process of software architectures by applying those rules and the architecture style. To verify the correctness of dynamic evolution of software architectures, the authors converted its hypergraph grammar to a state transition system, designed an algorithm, verified the invariant property of dynamic evolution of software architectures using model checking technique, and made experimental analysis using a model checker. Our approach provides a graphical representation of dynamic evolution of software architectures, and displays a formal theoretical framework based on grammars.