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

第３４卷第１期 计 算 机 应 用 研 究 Ｖｏｌ３４Ｎｏ１ ２０１７年１月　 ＡｐｐｌｉｃａｔｉｏｎＲｅｓｅａｒｃｈｏｆＣｏｍｐｕｔｅｒｓ Ｊａｎ．２０１７ 基于高阶 演算的构件演化模型研究 π 何海洋，李　强，余　祥，韩翔宇 （电子工程学院，合肥２３００３７） 摘　要：为满足构件演化形式化分析的需要，确保演化正确性，提出了一种基于高阶 演算的构件演化模型。 π 在定义演化构件的基础上，将演化过程中的行为描述为原子行为、结构行为和操作行为，建立行为与高阶 演算 π 间的转换规则、演化行为推演规则，根据演化过程中行为之间的关系