%0 Journal Article
%T 基于Pi演算的构件演化研究
%A 龚洪泉
%A 赵文耘
%A 徐如志
%A 钱乐秋
%J 电子学报
%P 243-246
%D 2004
%X 确保构件系统的一致性是构件演化的根本目标.根据构件交互过程,借鉴Pi演算的类型系统和进程构造方法,提出构件交互的类型系统和基于交互的构件模型.为确保构件服务端口和交互通道的正确行为,给出服务的端口类型和通道类型.以此为基础,结合Pi演算中良类型的思想,提出一致性构件系统的概念.然后,结合构件演化的特点,给出能保持系统一致性的构件静态演化和动态演化规则.最后,给出非一致演化的恢复方法.
%K 构件系统维护
%K 构件交互
%K 构件演化
%K Pi演算
%U http://www.ejournal.org.cn/CN/abstract/abstract7367.shtml