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

摘要：

UML是目前广泛使用的标准的面向对象建模语言.为了提高建模的精确性,UML模型可以用对象约束语言OCL或者是用Object-Z规格说明语言加以补充说明.本文从多个方面分析比较了这两种语言的特点,并提出建模人员应充分利用这两种语言的特点,对系统进行精确的建模.

关键词：UML、OCL、Object-Z、分析比较

所属期刊栏目：31

分类号：TP3;G43

资助基金：国家自然科学基金60373072;上海市教委资助项目02AK07人

在线出版日期：2005-01-20（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：182-185