基于高阶π 演算的构件演化行为研究 - 计算机科学.PDFVIP

第 44 卷第3 期 计算机科学 Vo1. 44 NO.3 COMPUTER SCIENCE 岛1ar.2017 2017 年 3 月 基于高阶 π 演算的构件演化行为研究 何海洋李强余样韩翔宇 (电子工程学院 合肥 230037) 摘 要 用形式化的方法分析软件演化过程中构件的行为已成为目前构件开发中的研究热点。为了满足构件演化过程 中行为建模形式化的需要，建立了一种基于高阶π 演算的构件演化行为分析方法。对构件演化行为进行分类，将顺序图 表示的演化请求转换成高阶π 演算进程表达式，通过高阶π 演算的语法语义和等价理论等数学基础对演化行为进行推 演，并检测演化中是否存在死锁问题。最后通过实例对该方法进行分析说明，从而验证了该方法的可行性和有效性。 关键词 构件演化，演化行为，高阶π 演算 中图法分类号 TP31 1. 5 文献标识码 A 001 10. 11896/j. iss几 1002-137)立 2017.03.043 Research on Component Evolving Behavior Based on High-orderπCalculus HE Hai-yang LI Qiang YU Xiang HAN Xiang-yu (Electronic Engineering Institute ,Hefei 230037 ,China) Abstract 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 Keywords Component evolution ,Evolving behavior ,High-orderπcalculus 是指演化过程中的软件行为，是由一系列有序动作构成的集 引言 合阻，在构件演化中主要表现为消息的发送、接收行为，并行、 随着软件多样性的发展，软件需要不断演化以应对随时 选择、循环等结构行为以及对组成系统成员构件的增加、删