基于高阶π演算的构件演化行为研究  

Research on Component Evolving Behavior Based on High-order π Calculus

作　　者：何海洋[1] 李强[1] 余祥[1] 韩翔宇[1] HE Hai-yang LI Qiang YU Xiang HAN Xiang-yu(Electronic Engineering Institute, Hefei 230037, Chin)

机构地区：[1]电子工程学院,合肥230037

出　　处：《计算机科学》2017年第3期202-208,共7页Computer Science

基　　金：技术基础项目(72141022);电子工程学院科研基金资助项目(KY141623)资助

摘　　要：用形式化的方法分析软件演化过程中构件的行为已成为目前构件开发中的研究热点。为了满足构件演化过程中行为建模形式化的需要,建立了一种基于高阶π演算的构件演化行为分析方法。对构件演化行为进行分类,将顺序图表示的演化请求转换成高阶π演算进程表达式,通过高阶π演算的语法语义和等价理论等数学基础对演化行为进行推演,并检测演化中是否存在死锁问题。最后通过实例对该方法进行分析说明,从而验证了该方法的可行性和有效性。Using formal method to analyze the behaviors of component in the software evolution has become a research hotspot now. According to the requirement of the formal method supporting the component evolving behavior,a formal method for component evolving behavior, which is based on High-order π calculus, was proposed. It will classify the component evolving behaviors and transform the sequence diagram described evolution requirements into High-order expressions. Based on the rule and equivalence of High-order π calculus, the evolving behaviors are computed and the evolving conflicts are detected. At last, this paper used an example to prove the feasibility and availability of this method.

关 键 词：构件演化 演化行为 高阶π演算 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]