Title: | 一种基于对象序列图的组件交互协议设计方法 |
Alternative Title: | an object sequence diagram based approach for specifying and analyzing component interaction protocols
|
Author: | 魏峻
; 王栩
; 李京
|
Keyword: | 对象序列图
; 组件
; 互操作
; 交互
; 交互协议
; 模型检查
; 形式分析
; 对象序列图
; 组件交互
; 交互协议
; 设计方法
; software development
; 形式分析方法
; 组件的软件开发
; sequence diagram
; 互操作性
; 可视化建模
; 形式定义
; 协议设计
; 思想
; 软件工具
; 交互特征
; 规范
; 分离组件
; 标准化
; 运用
; 协调Interoperability
|
Source: | 软件学报
|
Issued Date: | 2001
|
Volume: | 12, Issue:7, Pages:996-1006 | Indexed Type: | wanfang
; ei
|
Department: | 中国科学院软件研究所;中国科学院软件研究所对象技术中心,;中国科学院软件研究所对象技术中心,
|
Abstract: | 基于组件的软件开发(component-based software development,简称CBSD)现已成为软件开发的主流范型之一,其关心的核心问题是组件标准化与组件间的互操作性.它在互操作方面被广泛采用的思想是,分离组件的功能与交互特征,使用独立部件-交互协议来协调组件之间的交互.基于这种思想,探讨运用UML(unified modeling language)的对象序列图(object sequence diagram,简称OSD)方法进行组件交互协议设计的多个方面的研究,其中包括OSD规范的 |
Language: | 中文
|
Content Type: | 期刊论文
|
URI: | http://ir.iscas.ac.cn/handle/311060/13448
|
Appears in Collections: | 软件所图书馆_期刊论文
|
File Name/ File Size |
Content Type |
Version |
Access |
License |
|
一种基于对象序列图的组件交互协议设计方法.pdf(356KB) | -- | -- | 限制开放 | -- | 联系获取全文 |
|
Recommended Citation: |
魏峻,王栩,李京. 一种基于对象序列图的组件交互协议设计方法[J]. 软件学报,2001-01-01,12(7):996-1006.
|
|
|