| 摘要: |
| 基于组件的软件开发(component-basedsoftwaredevelopment,简称CBSD)现已成为软件开发的主流范型之一,其关心的核心问题是组件标准化与组件间的互操作性.它在互操作方面被广泛采用的思想是,分离组件的功能与交互特征,使用独立部件-交互协议来协调组件之间的交互.基于这种思想,探讨运用UML(unifiedmodelinglanguage)的对象序列图(objectsequencediagram,简称OSD)方法进行组件交互协议设计的多个方面的研究,其中包括OSD规范的形式定义以及规范的静态和动态形式分析方法,并为开发组件交互协议提出了一个集成OSD可视化建模和形式分析技术的软件工具框架. |
| 关键词: 对象序列图 组件 互操作 交互 交互协议 模型检查 形式分析 |
| DOI： |
| 分类号: |
| 基金项目:国家自然科学基金资助项目(69833030);国家重点基础研究发展规划973资助项目(G1998030404) |
|
| An Object Sequence Diagram Based Approach for Specifying and Analyzing Component Interaction Protocols |
|
WEI Jun,WANG Xu,LI Jing
|
| Abstract: |
| 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. |
| Key words: object sequence diagram component interoperability interaction interaction protocol model checking formal analysis |
