主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公English
2022年专刊出版计划 微信服务介绍 最新一期:2021年第2期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
魏峻,王栩,李京.一种基于对象序列图的组件交互协议设计方法.软件学报,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)
作者单位
魏峻 中国科学院软件研究所计算机科学开放研究实验室,北京 100080 
王栩 中国科学院软件研究所对象技术中心,北京 100080 
李京 中国科学院软件研究所对象技术中心,北京 100080 
摘要点击次数: 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阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利