一种演化超图文法到状态转移系统的映射方法

发布时间：2018-05-12 21:22

本文选题：软件演化 + 体系结构　；参考：《软件学报》2016年07期

【摘要】：运用模型检测技术验证动态演化的正确性,是近年来软件体系结构动态演化研究领域面临的一个挑战.然而,当前的方法很少考虑软件体系结构动态演化时的相关条件.针对该问题,提出用条件状态转移系统表示软件体系结构动态演化的状态模型,将软件体系结构超图映射为状态,演化规则运用映射为条件状态转移关系,给出软件体系结构动态演化的条件超图文法到条件状态转移系统的映射方法以及相应的实现算法,实现了软件体系结构动态演化的条件状态转移系统的构建,并证明了在该映射方法下,软件体系结构动态演化条件超图文法与条件状态转移系统的互模拟等价.最后通过案例分析,运用该方法以及模型检测技术,验证了软件体系结构动态演化的相关性质,从而验证了该方法的有效性.
[Abstract]:It is a challenge to verify the correctness of dynamic evolution by using model checking technology in the field of software architecture dynamic evolution in recent years. However, the current methods rarely consider the related conditions for the dynamic evolution of software architecture. In order to solve this problem, a state model is proposed to represent the dynamic evolution of software architecture with conditional state transition system. The hypergraph of software architecture is mapped to state, and the evolution rules are mapped to conditional state transition relation. The mapping method from conditional hypergraph grammar to conditional state transition system of software architecture dynamic evolution and the corresponding implementation algorithm are given, and the construction of conditional state transition system of software architecture dynamic evolution is realized. It is proved that the software architecture dynamic evolution conditional hypergraph method and conditional state transition system are equivalent to each other under this mapping method. Finally, by using the method and model checking technology, the related properties of the dynamic evolution of the software architecture are verified, and the validity of the method is verified by a case study.
【作者单位】：东华理工大学计算机科学与技术系;同济大学计算机科学与技术系;
【基金】：国家自然科学基金(61272107,61262001) 国家高技术研究发展计划(863)(2009AA012201) 国家教育部网络时代的科技论文快速共享专项(20110740001) 江西省青年科学家培养对象计划(20142BCB23017) 江西省自然科学基金(20114BAB2 01043) 江西省科技支撑计划(20112BBE50048) 江西省发明专利产业化技术示范项目(20143BBM26115)~~
【分类号】：TP311.5

【参考文献】