 |
|
|
|
 |
 |
 |
|
 |
|
 |
|
|
| 魏峻,王栩,李京.一种基于对象序列图的组件交互协议设计方法.软件学报,2001,12(7):996-1006 |
| 一种基于对象序列图的组件交互协议设计方法 |
| An Object Sequence Diagram Based Approach for Specifying and Analyzing Component Interaction Protocols |
| 投稿时间：1999-12-08 修订日期：2001-04-17 |
| DOI： |
| 中文关键词: 对象序列图 组件 互操作 交互 交互协议 模型检查 形式分析 |
| 英文关键词:object sequence diagram component interoperability interaction interaction protocol model checking formal analysis |
| 基金项目:国家自然科学基金资助项目(69833030);国家重点基础研究发展规划973资助项目(G1998030404) |
|
| 摘要点击次数: 3396 |
| 全文下载次数: 3421 |
| 中文摘要: |
| 基于组件的软件开发(component-basedsoftwaredevelopment,简称CBSD)现已成为软件开发的主流范型之一,其关心的核心问题是组件标准化与组件间的互操作性.它在互操作方面被广泛采用的思想是,分离组件的功能与交互特征,使用独立部件-交互协议来协调组件之间的交互.基于这种思想,探讨运用UML(unifiedmodelinglanguage)的对象序列图(objectsequencediagram,简称OSD)方法进行组件交互协议设计的多个方面的研究,其中包括OSD规范的形式定义以及规范的静态和动态形式分析方法,并为开发组件交互协议提出了一个集成OSD可视化建模和形式分析技术的软件工具框架. |
| 英文摘要: |
| CBSD (component based software development) becomes one of the mainstreams of software development paradigms. The essential aspects it concerns are standardization of component models and interoperability of components. Recently it is widely accepted that interactions, as non functional properties, should be separated from functional components. As a specific part governing the coordination of components, interaction protocols become one of the focuses in CBSD paradigm. Based on OSD (object sequence diagram) notations in UML (unified modeling language), an approach for specification and analysis of component interaction protocols is achieved in this paper, In this approach, not only event causality based formalism is defined for specification of interaction protocols, but also some syntactic and dynamic analysis techniques, such as model checking, are provided for verification of OSD specification. Moreover, a framework for development of interaction protacols is sketched out, in which visual modeling and formal analysis features the approach especially. |
|
HTML 下载PDF全文 查看/发表评论 下载PDF阅读器 |
|
|
|
|
|
|
 |
|
|
|
|
 |
|
 |
|
 |
|
