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

第 44 卷第3 期 Vol. 44 NO.3 计算机科学 2017 年3 月 COMPUTER SCIENCE Mar.2017 基于高阶 π 演算的构件演化行为研究 何海洋李强余样韩翔宇 (电子工程学院 合肥 230037) 摘 要 用形式化的方法分析软件演化过程中构件的行为已成为目前构件开发中的研究热点。为了满足构件演化过程 中行为建模形式化的需要，建立了一种基于高阶π 演算的构件演化行为分析方法。对构件演化行为进行分类，将顺序图 表示的演化请求转换成高阶π 演算进程表达式，通过高阶π 演算的语法语义和等价理论等数学基础对演化行为进行推 演，并检测演化中是否存在死锁问题。最后通过实例对该方法进行分析说明，从而验证了该方法的可行性和有效性。 关键词 构件演化，演化行为，高阶π 演算 中图法分类号 TP31 1. 5 文献标识码 A 001 10. 11896/j. issn. 100公137)♀ 2017.03.043 R臼倒-ch on Component Evolving Bebavior Based on H增l-orderπ Calculus HE Hai-yang LI Qiang YU Xiang HAN xi缸Ig.严1 (Electronic Engineering Institute ,Hefei 230037 ,China) Ahs缸aCt 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 ∞mputed and the evol飞往ng conf1icts are detected. At last ,this 阴阳山ed an example 10 prove the feasibility 叫availability of this metl时 Keyw倒也 Component evolution ,Evolving behavior ,Higlγorderπcalculus 是指演化过程中的软件行为，是由一系列有序动作构成的集 引言 合凹，在构件演化中主要表现为消息的发送、接收行为，并行、 随着软件多样性的发展，软件需要不断演化以应对随时 选择、循环等结构行为以及对组成系统成员构件的增加、删 变更的用户需求和环境。特别是安全类软件，其面临