一种基于对象序列图的组件交互协议设计方法

• 作者: 李京 王栩 魏峻
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 对象序列图 组件 互操作 交互 交互协议 模型检查 形式分析
• 年，卷（期）: 2001,（7）
• 页码范围: 996-1006
• 页数: 11页
• 分类号: TP311
• 字数: 9881字
• 语种: 中文

摘要

基于组件的软件开发(component-based software development,简称CBSD)现已成为软件开发的主流范型之一,其关心的核心问题是组件标准化与组件间的互操作性.它在互操作方面被广泛采用的思想是,分离组件的功能与交互特征,使用独立部件-交互协议来协调组件之间的交互.基于这种思想,探讨运用UML(unified modeling language)的对象序列图(object sequence diagram,简称OSD)方法进行组件交互协议设计的多个方面的研究,其中包括OSD规范的形式定义以及规范的静态和动态形式分析方法,并为开发组件交互协议提出了一个集成OSD可视化建模和形式分析技术的软件工具框架.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	魏峻	中国科学院软件研究所	60	775	16.0	26.0
2	李京		82	1078	16.0	31.0
3	王栩		5	19	3.0	4.0