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

【Abstract】 Preservation of consistency is the ultimate criterion of component evolution.With component interaction processes and inspired by typing system and process construction methods of Pi-calculus,component interaction typing system and interaction-based component model are proposed.To ensure correct interaction behaviors of component ports and channels,service port type and channel type are introduced.At the same time,consistent component system is defined based on the notion of well-typedness in Pi-calculus.Then,based on the peculiarity of component evolution,static and dynamic evolution rules are proposed.At last,method for recovering from inconsistent state is introduced.更多还原