共 1 条
基于Pi演算的构件演化研究
被引：7
作者：
龚洪泉
赵文耘
徐如志
钱乐秋
机构：
[1] 复旦大学计算机科学与工程系
[2] 复旦大学计算机科学与工程系 上海
[3] 上海
来源：
关键词：
构件系统维护;
构件交互;
构件演化;
Pi演算;
D O I：
暂无
中图分类号：
TP311 [程序设计、软件工程];
学科分类号：
081202 ;
0835 ;
摘要：
确保构件系统的一致性是构件演化的根本目标 .根据构件交互过程 ,借鉴Pi演算的类型系统和进程构造方法 ,提出构件交互的类型系统和基于交互的构件模型 .为确保构件服务端口和交互通道的正确行为 ,给出服务的端口类型和通道类型 .以此为基础 ,结合Pi演算中良类型的思想 ,提出一致性构件系统的概念 .然后 ,结合构件演化的特点 ,给出能保持系统一致性的构件静态演化和动态演化规则 .最后 ,给出非一致演化的恢复方法
引用
收藏
页码：238 / 242
页数：5
相关论文