基于依赖性分析的模型规划
(0) 模型规划是一种基于环境的模型切片技术,研究对象为扩展有限状态机模型,针对一定条件下的环境约束运用可达性分析方法约减模型受影响的部分,进而分析模型在环境约束下的行为,为模型检测和验证提供有效的方法.该方法最大程度约减模型中受影响或潜在受影响的部分,没有考虑维持模型功能的完整性.本文针对这一问题,结合不定型切片思想,提出了一种新型模型规划方法,通过利用依赖性分析和基于模型状态合并准则对模型进行分析处理,实现了在给定约束环境中,最大程度的保留模型功能.实验结果表明,该方法与现有的模型规划方法相比,得到的结果模型能够更好地保证功能上的完整性,并且在一定程度上可避免约减模型陷入停滞状态.
软件工程 模型规划 依赖性 切片思想
王越 李征 尤枫
北京化工大学信息科学与技术学院,北京中国100029
国内会议
武汉
中文
404-410
2014-07-19（万方平台首次上网日期，不代表论文的发表时间）