%0 Journal Article
%T Comparison and Analysis of OCL and Object-Z as UML Constraint Language<br>OCL与Object-Z作为UML约束语言的分析比较
%A 陈怡海
%A 缪淮扣
%J 计算机科学
%D 2004
%I 
%X UML是目前广泛使用的标准的面向对象建模语言。为了提高建模的精确性，UML模型可以用对象约束语言OCL或者是用Object-Z规格说明语言加以补充说明。本文从多个方面分析比较了这两种语言的特点，并提出建模人员应充分利用这两种语言的特点，对系统进行精确的建模。
%K Object-Z
%K UML模型
%K OCL
%K 面向对象建模语言
%K 对象约束语言
%K 规格说明
%K 系统
%K 分析比较
%K 人员
%K 标准
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=5A34736960673A9C&yid=D0E58B75BFD8E51C&vid=4AD960B5AD2D111A&iid=59906B3B2830C2C5&sid=B1F98368A47B8888&eid=D46BA3D3D4B3C585&journal_id=1002-137X&journal_name=计算机科学&referenced_num=2&reference_num=15