基于Petri网的软件动态演化的一致性分析

• 作者: 明利 李彤 林英 秦江龙 莫启 谢仲文
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 软件动态演化 软件体系结构 行为模拟 一致性保持
• 年，卷（期）: 2016,（11）
• 所属期刊栏目: 软件与数据库技术
• 页码范围: 234-241
• 页数: 8页
• 分类号: TP311.5
• 字数: 11414字
• 语种: 中文
• DOI: 10.11896/j.issn.1002-137X.2016.11.046

摘要

在分析软件动态演化面临的挑战的基础上,以扩展的Petri网为主形式化工具,基于面向动态演化的SA元模型DEAM,对如何保证动态演化的一致性问题进行分析.首先,讨论了一致性分析的总体思路和策略,确定以构件作为动态演化实施和分析的基本对象;其次,从构件结构演化的视角对构件的子网类型进行分析,提出了保证结构一致性的方法;再次,从构件行为演化的视角,分别从内部和外部观察构件演化前后的行为,并通过建立模拟关系来分析和判断演化前后构件的行为是否一致;最后,通过案例研究对所提方法的可行性进行验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	林英	云南大学软件学院	32	197	7.0	12.0
3	谢仲文	云南大学软件学院	26	97	6.0	8.0
7	秦江龙	云南大学软件学院	13	61	5.0	7.0
11	莫启	云南大学软件学院	29	58	4.0	6.0
15	明利	云南大学软件学院	5	22	4.0	4.0