| 一种基于对象序列图的组件交互协议设计方法 |
| 其他题名 | an object sequence diagram based approach for specifying and analyzing component interaction protocols
|
| 魏峻; 王栩; 李京
|
| 2001
|
| 发表期刊 | 软件学报
 |
| ISSN | 1000-9825
|
| 卷号 | 12期号:7页码:996-1006 |
| 摘要 | 基于组件的软件开发(component-based software development,简称CBSD)现已成为软件开发的主流范型之一,其关心的核心问题是组件标准化与组件间的互操作性.它在互操作方面被广泛采用的思想是,分离组件的功能与交互特征,使用独立部件-交互协议来协调组件之间的交互.基于这种思想,探讨运用UML(unified modeling language)的对象序列图(object sequence diagram,简称OSD)方法进行组件交互协议设计的多个方面的研究,其中包括OSD规范的 |
| 收录类别 | wanfang
; ei
|
| 关键词 | 对象序列图
组件
互操作
交互
交互协议
模型检查
形式分析
对象序列图
组件交互
交互协议
设计方法
Software Development
形式分析方法
组件的软件开发
Sequence Diagram
互操作性
可视化建模
形式定义
协议设计
思想
软件工具
交互特征
规范
分离组件
标准化
运用
协调interoperability
|
| 部门归属 | 中国科学院软件研究所;中国科学院软件研究所对象技术中心,;中国科学院软件研究所对象技术中心,
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/13448
|
| 专题 | 中国科学院软件研究所
|
推荐引用方式
GB/T 7714 |
魏峻,王栩,李京. 一种基于对象序列图的组件交互协议设计方法[J]. 软件学报,2001,12(7):996-1006.
|
| APA |
魏峻,王栩,&李京.(2001).一种基于对象序列图的组件交互协议设计方法.软件学报,12(7),996-1006.
|
| MLA |
魏峻,et al."一种基于对象序列图的组件交互协议设计方法".软件学报 12.7(2001):996-1006.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论