构件演化中的系统行为一致性的研究

• 作者: 关连伟 吕建 李兴宇 罗毅 胡昊
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 构件演化 系统行为 行为一致性
• 年，卷（期）: 2008,（1）
• 所属期刊栏目: 软件工程
• 页码范围: 266-270,300
• 页数: 6页
• 分类号: TP3
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2008.01.075

摘要

构件技术的发展,减少了开发应用程序的时间和复杂度,同时也为软件提供了更好的动态演化能力.基于构件的软件系统是通过在构件间建立交互关系,将多个构件组织成一个统一的整体得到的.因此在构件演化时,例如时构件功能实现进行改变,可能导致系统运行偏离原来的系统行为.我们的工作就是在构件演化时对系统行为进行一致性检查,保证构件的功能实现的变化不会使系统行为偏离原来的系统.在本文中首先通过Petri-net的形式化方法,对系统实现中包括的构件的功能实现和构件间的交互进行建模,并通过以上信息推导得到系统行为.在此基础之上,根据基于行为继承理论的行为一致性规则的要求对定义的系统功能行为进行验证,以保证构件演化时系统行为的一改变符合行为的一致性要求,同时又保证了构件演化的灵活性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吕建	南京大学计算机软件新技术国家重点实验室南京大学计算机软件研究所	120	2738	23.0	51.0
2	胡昊	南京大学计算机软件新技术国家重点实验室南京大学计算机软件研究所	25	428	6.0	20.0
3	罗毅	南京大学计算机软件新技术国家重点实验室南京大学计算机软件研究所	5	38	2.0	5.0
4	李兴宇	南京大学计算机软件新技术国家重点实验室南京大学计算机软件研究所	2	24	1.0	2.0
5	关连伟	南京大学计算机软件新技术国家重点实验室南京大学计算机软件研究所	1	23	1.0	1.0