基于Pi演算的构件演化研究

摘要

确保构件系统的一致性是构件演化的根本目标．根据构件交互过程，借鉴Pi演算的类型系统和进程构造方法，提出构件交互的类型系统和基于交互的构件模型，为确保构件服务端口和交互通道的正确行为，给出服务的端口类型和通道类型．以此为基础，结合Pi演算中良类型的思想，提出一致性构件系统的概念．然后，结合构件演化的特点，给出能保持系统一致性的构件静态演化和动态演化规则．最后，给出非一致演化的恢复方法．