10.11896/j.issn.1002-137X.2017.03.043
基于高阶π演算的构件演化行为研究
用形式化的方法分析软件演化过程中构件的行为已成为目前构件开发中的研究热点.为了满足构件演化过程中行为建模形式化的需要,建立了一种基于高阶π演算的构件演化行为分析方法.对构件演化行为进行分类,将顺序图表示的演化请求转换成高阶π演算进程表达式,通过高阶π演算的语法语义和等价理论等数学基础对演化行为进行推演,并检测演化中是否存在死锁问题.最后通过实例对该方法进行分析说明,从而验证了该方法的可行性和有效性.
构件演化、演化行为、高阶π演算
44
TP311.5(计算技术、计算机技术)
技术基础项目72141022;电子工程学院科研基金资助项目KY141623
2017-04-14(万方平台首次上网日期,不代表论文的发表时间)
共7页
202-208