基于高阶π演算的构件演化行为研究 |
| |
作者姓名: | 何海洋 李强 余祥 韩翔宇 |
| |
作者单位: | 电子工程学院 合肥230037,电子工程学院 合肥230037,电子工程学院 合肥230037,电子工程学院 合肥230037 |
| |
基金项目: | 本文受技术基础项目(72141022),电子工程学院科研基金资助 |
| |
摘 要: | 用形式化的方法分析软件演化过程中构件的行为已成为目前构件开发中的研究热点。为了满足构件演化过程中行为建模形式化的需要,建立了一种基于高阶π演算的构件演化行为分析方法。对构件演化行为进行分类,将顺序图表示的演化请求转换成高阶π演算进程表达式,通过高阶π演算的语法语义和等价理论等数学基础对演化行为进行推演,并检测演化中是否存在死锁问题。最后通过实例对该方法进行分析说明,从而验证了该方法的可行性和有效性。
|
关 键 词: | 构件演化 演化行为 高阶π演算 |
收稿时间: | 2016-03-23 |
修稿时间: | 2016-03-03 |
|
|
点击此处可从《计算机科学》下载全文 |
|