用UML描述组件规格说明  

A METHOD OF DEVELOPING THE SPECIFICATION OF COMPONENT USING UML

作　　者：李莉[1] 缪淮扣[1] 

机构地区：[1]上海大学计算机工程与科学学院,上海200072

出　　处：《计算机应用与软件》2002年第6期10-12,59,共4页Computer Applications and Software

基　　金：国家自然科学基金(编号:69773038)

摘　　要：在基于组件的软件开发方式(CBD)下,软件系统是一些相互联系的可重用组件的集合,因此需要对系统的每一个组件以及组件之间的相互关系有很好的理解。 UML作为一种标准建模语言,不仅可以支持面向对象的分析与设计,而且能够有力地支持从需求分析开始的软件开发全过程。但是UML对组件建模的支持并不理想,这就需要开发一种能很好支持组件建模的方法。 本文提出一种用UML描述组件规格说明的方法。将组件规格说明分解成组件接口规格说明。通过对组件的每个接口和组件接口之间的相互关系加以形式描述,从而达到组件规格说明的清晰性和精确性。Component Based Development(CBD) has been becoming more and more popular in recent years. Under this CBD method, software systems consist of some reusable components which are combined to form an assembly. Developers have to understand each component and the relationship between the components. UML being a standard modeling language, supports not only object ?oriented analysis and design but also the whole development of software. But UML can't strongly support component modeling,so developing a new method to support it is very important. In this paper we develop a method to describe the specification of component using UML. The specification of component is decomposed into specifications of component interfaces. The formal specification language Object - Z and UML are used to describe each interface of component and the interaction between component interfaces. After that,the specification of component is clear and accurate.

关 键 词：UML 组件规格说明 Object-Z语言 软件开发 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]