基于高阶π演算的构件演化模型研究

• 作者: 何海洋 余祥 李强 韩翔宇
• 来源期刊: 计算机应用研究
• 关键词: 构件 软件演化 高阶π演算 演化行为 冲突检测
• 年，卷（期）: 2017,（1）
• 所属期刊栏目: 算法研究探讨
• 页码范围: 67-74
• 页数: 8页
• 分类号: TP311.11
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2017.01.013

摘要

为满足构件演化形式化分析的需要，确保演化正确性，提出了一种基于高阶π演算的构件演化模型。在定义演化构件的基础上，将演化过程中的行为描述为原子行为、结构行为和操作行为，建立行为与高阶π演算间的转换规则、演化行为推演规则，根据演化过程中行为之间的关系，建立演化冲突检测机制，定义互斥冲突、重复冲突、条件冲突和包含冲突四类冲突，在分析冲突条件的基础上，设计了演化冲突检测算法，实现了构件演化的形式化分析。通过实例验证了模型的可行性。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李强		14	74	3.0	8.0
2	何海洋		3	2	1.0	1.0
3	余祥		8	15	3.0	3.0
4	韩翔宇		4	4	1.0	1.0