基于高阶π演算的构件演化模型研究* |
| |
作者姓名: | 何海洋 李强 余祥 韩翔宇 |
| |
作者单位: | 电子工程学院 合肥 230037,电子工程学院 合肥 230037,电子工程学院 合肥 230037,电子工程学院 合肥 230037 |
| |
基金项目: | 技术基础项目(72141022)电子工程学院科研基金资助项目KY141623 |
| |
摘 要: | 为满足构件演化形式化分析的需要,确保演化正确性,提出了一种基于高阶π演算的构件演化模型。在定义演化构件的基础上,将演化过程中的行为描述为原子行为、结构行为和操作行为,建立行为与高阶π演算间的转换规则、演化行为推演规则,根据演化过程中行为之间的关系,建立演化冲突检测机制,定义互斥冲突、重复冲突、条件冲突和包含冲突等四类冲突,在分析冲突条件的基础上,设计了演化冲突检测算法,实现了构件演化的形式化分析。通过实例验证了模型的可行性。
|
关 键 词: | 构件;软件演化;高阶π演算;演化行为;冲突检测 |
收稿时间: | 2015-12-30 |
修稿时间: | 2016-11-27 |
|
| 点击此处可从《计算机应用研究》浏览原始摘要信息 |
|
点击此处可从《计算机应用研究》下载全文 |
|