摘要
基于组件的软件开发 (component basedsoftwaredevelopment,简称CBSD)现已成为软件开发的主流范型之一 ,其关心的核心问题是组件标准化与组件间的互操作性 .它在互操作方面被广泛采用的思想是 ,分离组件的功能与交互特征 ,使用独立部件 交互协议来协调组件之间的交互 .基于这种思想 ,探讨运用UML(unifiedmodel inglanguage)的对象序列图 (objectsequencediagram ,简称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 protocols is sketched out, in which visual modeling and formal analysis features the approach especially.
出处
《软件学报》
EI
CSCD
北大核心
2001年第7期996-1006,共11页
Journal of Software
基金
国家自然科学基金资助项目 (698330 30 )
国家重点基础研究发展规划 973资助项目 (G19980 30 40 4)
关键词
对象序列图
组件
互操作
交互协议
软件开发
object sequence diagram
component
interoperability
interaction
interaction protocol
model checking
formal analysis
