| OCL与Object-Z作为UML约束语言的分析比较 |
| |
| 引用本文： | 陈怡海 缪淮扣. OCL与Object-Z作为UML约束语言的分析比较[J]. 计算机科学, 2004, 31(12): 182-185 |
| |
| 作者姓名： | 陈怡海 缪淮扣 |
| |
| 作者单位： | 上海大学计算机工程与科学学院,上海,200072;上海大学计算机工程与科学学院,上海,200072 |
| |
| 基金项目： | 本文的研究工作得到国家自然科学基金(项目编号60373072)和上海市教委科技发展基金(项目编号02AK07)的资助人. |
| |
| 摘 要： | UML是目前广泛使用的标准的面向对象建模语言。为了提高建模的精确性，UML模型可以用对象约束语言OCL或者是用Object-Z规格说明语言加以补充说明。本文从多个方面分析比较了这两种语言的特点，并提出建模人员应充分利用这两种语言的特点，对系统进行精确的建模。
|
| 关 键 词： | UML OCL Object-Z 分析比较 |
Comparison and Analysis of OCL and Object-Z as UML Constraint Language |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
