一种基于构件演算的主动构件精化方法

• 作者: 陈鑫
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 接口 构件 语义 契约 精化 组合
• 年，卷（期）: 2008,（5）
• 所属期刊栏目: Internet环境下基于构件的软件理论与方法
• 页码范围: 1134-1148
• 页数: 15页
• 分类号: TP311
• 字数: 15254字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2008.01134

摘要

现代构件系统通常包含多个并发执行的主动构件,这使得验证构件系统的正确性变得十分困难.通过对构件演算进行扩展,提出了一种主动构件的精化方法.在构件接口层引入契约.契约使用卫式设计描述公共方法和主动活动的功能规约.通过一对发散、失败集合定义契约的动态行为,并利用发散、失败集合之间的包含关系定义契约间的精化关系.证明了应用仿真技术确认契约精化关系的定理.定义构件的语义为其需求接口契约到其服务接口契约的函数,以此为基础,可以通过契约的精化来证明构件的精化.给出了构件的组装规则.在构件系统自底向上的构造过程中,应用构件的精化方法和组装规则可以保证最终系统的正确性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈鑫	南京大学计算机科学与技术系	27	90	6.0	8.0