首页 | 本学科首页   官方微博 | 高级检索  
     

一种基于对象序列图的组件交互协议设计方法
引用本文:魏峻,王栩,李京. 一种基于对象序列图的组件交互协议设计方法[J]. 软件学报, 2001, 12(7): 996-1006
作者姓名:魏峻  王栩  李京
作者单位:1. 中国科学院软件研究所
2. 中国科学院软件研究所对象技术中心,
基金项目:国家自然科学基金资助项目(69833030);国家重点基础研究发展规划973资助项目(G1998030404)
摘    要:基于组件的软件开发(component-basedsoftwaredevelopment,简称CBSD)现已成为软件开发的主流范型之一,其关心的核心问题是组件标准化与组件间的互操作性.它在互操作方面被广泛采用的思想是,分离组件的功能与交互特征,使用独立部件-交互协议来协调组件之间的交互.基于这种思想,探讨运用UML(unifiedmodelinglanguage)的对象序列图(objectsequencediagram,简称OSD)方法进行组件交互协议设计的多个方面的研究,其中包括OSD规范的形式定义以及规范的静态和动态形式分析方法,并为开发组件交互协议提出了一个集成OSD可视化建模和形式分析技术的软件工具框架.

关 键 词:对象序列图  组件  互操作  交互  交互协议  模型检查  形式分析
文章编号:1000-9825200112(07)0996-11
收稿时间:1999-12-08
修稿时间:2001-04-17

An Object Sequence Diagram Based Approach for Specifying and Analyzing Component Interaction Protocols
WEI Jun,WANG Xu and LI Jing. An Object Sequence Diagram Based Approach for Specifying and Analyzing Component Interaction Protocols[J]. Journal of Software, 2001, 12(7): 996-1006
Authors: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.
Keywords:object sequence diagram   component   interoperability   interaction   interaction protocol   model checking   formal analysis
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《软件学报》浏览原始摘要信息
点击此处可从《软件学报》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号