基于高阶π演算构件演化模型研究.PDFVIP

第３４卷第１期 计 算 机 应 用 研 究 Ｖｏｌ３４Ｎｏ１ ２０１７年１月　 ＡｐｐｌｉｃａｔｉｏｎＲｅｓｅａｒｃｈｏｆＣｏｍｐｕｔｅｒｓ Ｊａｎ．２０１７ 基于高阶 演算的构件演化模型研究 π 何海洋，李　强，余　祥，韩翔宇 （电子工程学院，合肥２３００３７） 摘　要：为满足构件演化形式化分析的需要，确保演化正确性，提出了一种基于高阶 演算的构件演化模型。 π 在定义演化构件的基础上，将演化过程中的行为描述为原子行为、结构行为和操作行为，建立行为与高阶 演算 π 间的转换规则、演化行为推演规则，根据演化过程中行为之间的关系，建立演化冲突检测机制，定义互斥冲突、重 复冲突、条件冲突和包含冲突四类冲突，在分析冲突条件的基础上，设计了演化冲突检测算法，实现了构件演化 的形式化分析。通过实例验证了模型的可行性。 关键词：构件；软件演化；高阶 演算；演化行为；冲突检测 π 中图分类号：ＴＰ３１１．１１　　　文献标志码：Ａ　　　文章编号：１００１３６９５（２０１７）０１００６７０８ ｄｏｉ：１０．３９６９／ｊ．ｉｓｓｎ．１００１３６９５．２０１７．０１．０１３ Ｒｅｓｅａｒｃｈｏｎｃｏｍｐｏｎｅｎｔｅｖｏｌｖｉｎｇｍｏｄｅｌｂａｓｅｄｏｎｈｉｇｈｏｒｄｅｒ ｃａｌｃｕｌｕｓ π ＨｅＨａｉｙａｎｇ，ＬｉＱｉａｎｇ，ＹｕＸｉａｎｇ，ＨａｎＸｉａｎｇｙｕ （ＥｌｅｃｔｒｏｎｉｃＥｎｇｉｎｅｅｒｉｎｇＩｎｓｔｉｔｕｔｅ，Ｈｅｆｅｉ２３００３７，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ：Ｔｏｍｅｅｔｔｈｅｎｅｅｄｓｏｆｆｏｒｍａｌａｎａｌｙｓｉｓｏｆｃｏｍｐｏｎｅｎｔｅｖｏｌｕｔｉｏｎａｎｄｅｎｓｕｒｅｔｈｅａｃｃｕｒａｃｙ，ｔｈｉｓｐａｐｅｒｐｒｅｓｅｎｔｅｄａｃｏｍｐｏ ｎｅｎｔｅｖｏｌｖｉｎｇｍｏｄｅｌｂａｓｅｄｏｎｈｉｇｈｏｒｄｅｒ ｃａｌｃｕｌｕｓ．Ｂａｓｅｄｏｎｄｅｆｉｎｉｎｇｅｖｏｌｖｉｎｇｃｏｍｐｏｎｅｎｔ，ｄｅｖｉｃｅｔｈｅｂｅｈａｖｉｏｒｓｉｎｔｈｅｅｖｏｌｕ π ｔｉｏｎｐｒｏｃｅｓｓｉｎｔｏｔｈｒｅｅｔｙｐｅｓｗｈｉｃｈｉｎｃｌｕｄｅｄａｔｏｍｂｅｈａｖｉｏｒｓ，ｓｔｒｕｃｔｕｒｅｂｅｈａｖｉｏｒｓａｎｄｅｖｏｌｖｉｎｇｂｅｈａｖｉｏｒｓ．Ｉｔｂｕｉｌｔｔｈｅｔｒａｎｓｌａｔｉｏｎ ｒｕｌｅｓｂｅｔｗｅｅｎｂｅｈａｖｉｏｒｓａｎｄｈｉｇｈｏｒｄｅｒ ｃａｌｃｕｌｕｓ，ａｎｄａｌｓｏｔｈｅｅｖｏｌｖｉｎｇｒｕｌｅｓ．Ｔｈｒｏｕｇｈｓｔｕｄｙｉｎｇｔｈｅｌｉｎｋａｍｏｎｇｂｅｈａｖｉｏｒｓ，ｉｔ π ｂｕｉｌｔｔｈｅｍｅｃｈａｎｉｓｍｏｆｃｏｎｆｌｉｃｔｄｅｔｅｃｔｉｏｎｔｈａｔｉｎｃｌｕｄｉｎｇｅｘｃｌｕｓｉｏｎｃｏｎｆｌｉｃｔ，ｒｅｐｅａｔｃｏｎｆｌｉｃｔ，ｃｏｎｄｉｔｉｏｎｃｏｎｆｌｉｃｔａｎｄｉｎｃｌｕｄｅｃｏｎｆｌｉｃｔ ａｎｄｓｏｏｎ．Ｉｔｄｅｓｃｒｉｂｅｄｔｈｅｃｏｎｄｉｔｉｏｎｓｏｆｅａｃｈｃｏｎｆｌｉｃｔａｎｄｄｅｓｉｇｎｅｄｔｈｅａｌｇｏｒｉｔｈｍｏｆｃｏｎｆｌｉｃｔｄｅｔｅｃｔｉｏｎ，ｉｍｐｌｅｍｅｎｔｅｄｔｈｅｆｏｒｍａｌ ａｎａｌｙｓｉｓｏｆｃｏｍｐｏｎｅｎｔｅｖｏｌｕｔｉｏｎ．Ｔｈｅｉｎｓｔａｎｃｅｖｅｒｉｆｉｅｓｔｈｅｆｅａｓｉｂｉｌｉｔｙｏｆｔｈｅｍｏｄｅｌ． Ｋｅｙｗｏｒｄｓ：ｃｏｍｐ