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

• 作者: 徐如志 赵文耘 钱乐秋 龚洪泉
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 构件系统维护 构件交互 构件演化 Pi演算
• 年，卷（期）: 2004,（z1）
• 页码范围: 238-242
• 分类号: TP311
• 字数: 7718字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	龚洪泉	复旦大学计算机科学与工程系	9	247	8.0	9.0
2	赵文耘	复旦大学计算机科学与工程系	154	1327	20.0	28.0
3	钱乐秋	复旦大学计算机科学与工程系	61	1658	21.0	39.0
4	徐如志	复旦大学计算机科学与工程系	9	310	7.0	9.0