基于依赖性分析的EFSM自适应模型映射技术
近年来，信息科学与计算科学方面的研究呈现一种蓬勃发展态势，软件系统应用在人类生活的方方面面。由于人们对软件系统智能化程度要求的不断提高，“自适应系统”方面的研究应运而生。 随着软件系统规模的逐渐增大，其结构也随之愈发复杂，基于模型驱动的软件工程越来越受到研究人员的广泛关注，相应的开发技术有了一定的发展。模型作为软件系统的一种高度抽象，在表示软件系统结构功能方面有着明显的优势，为软件系统的开发、测试以及维护等领域提供了支持与帮助。扩展有限状态机(Extended Finite State Machines，EFSM)模型作为一种常用的标准化描述模型，在网络、电信等行业被广泛应用于对系统动态行为的描述。 模型可以应用到不同的环境中，使用过程中也可发生变化，这种变化通常用环境的约束来表示。现有的模型映射技术针对一定条件下的环境约束，运用可达性分析方法约减模型受影响的部分，进而分析模型在环境约束下的行为，为模型检测和验证提供有效的方法。该方法也称为基于环境的模型切片，其核心是尽可能约减模型中受影响或潜在受影响的部分。 本文提出了一种新型基于依赖性分析的EFSM模型自适应映射技术，与之前模型映射技术不同，其以能最大的减少环境约束对模型的影响为立足点，使模型在约束环境中，具有在一定程度上自动化保留和修复模型信息与功能的能力。同时本文方法可以确定影响模型功能的关键事件，即通过本文映射方法，针对特定的模型功能可以判断出哪些模型事件是影响其功能的关键因素，一旦该事件失效，对应的模型功能将无法进行修复，这将直接影响软件开发过程中软硬件各种资源的分配。本文方法为关键事件的确定提供了一条新的途径。 本文方法核心是通过依赖性分析计算模型中去除部分和可保留部分并利用本文定义的模型映射规则对模型信息进行保留。实验结果表明，相比现有的模型映射方法，本文方法可更多的保留模型功能并且降低模型所受的影响，进而保证模型在约束环境下功能的相对完整性，从而在新环境中获得到更好的自动化模型映射效果。
模型映射;依赖性分析;自适应;软件系统
北京化工大学
硕士
计算机科学与技术
李征
2015
中文
TP311.5
69
2015-12-29（万方平台首次上网日期，不代表论文的发表时间）