OCL与Object-Z作为UML约束语言的分析比较  

Comparison and Analysis of OCL and Object-Z as UML Constraint Language

作　　者：陈怡海[1] 缪淮扣[1] 

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

出　　处：《计算机科学》2004年第12期182-185,共4页Computer Science

基　　金：国家自然科学基金(项目编号60373072);上海市教委科技发展基金(项目编号02AK07)

摘　　要：UML是目前广泛使用的标准的面向对象建模语言。为了提高建模的精确性,UML模型可以用对象约束语言OCL或者是用Object-Z规格说明语言加以补充说明。本文从多个方面分析比较了这两种语言的特点,并提出建模人员应充分利用这两种语言的特点,对系统进行精确的建模。UML is currently a standard and an intensively used OO modeling language. To increase the precision of the model, UML can be complemented with OCL or Object-Z as constraint language. This paper provides a comparison of these two constraint languages. We propose a precise system by considering different aspects, taking advantage of OCL and Object-Z properties.

关 键 词：OBJECT-Z UML模型 OCL 面向对象建模语言 对象约束语言 规格说明 系统 分析比较 人员 标准 

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