| 基于Object-Z的带OCL约束的UML类图形式化描述 |
| |
| 引用本文： | 江春.基于Object-Z的带OCL约束的UML类图形式化描述[J].沈阳师范大学学报(自然科学版),2008,26(4). |
| |
| 作者姓名： | 江春 |
| |
| 作者单位： | 苏州大学,计算机科学与技术学院,江苏,苏州,215006 |
| |
| 摘 要： | UML OCL是基于一阶谓词逻辑和集合论的形式化语言,用它对UML类图进行约束后类图便具备严格语法和精确语义,同时也具备了演绎验证的基本条件;但由于目前的建模工具还无法对缺乏精确语义的UML类图进行有效的演绎验证.因此提出了一种带OCL约束的UML类图通过Object-Z进行形式化描述的方法,这样便可以充分利用Object-Z强大的演绎验证能力来验证UML类图的正确性和是否具有某种性质等.
|
| 关 键 词： | 统一建模2.0 对象约束语言 形式化语言Object-Z |
Formal Specification of UML Class Diagram with OCL Constraints Based on Object-Z |
| |
| JIANG Chun.Formal Specification of UML Class Diagram with OCL Constraints Based on Object-Z[J].Journal of Shenyang Normal University: Nat Sci Ed,2008,26(4). |
| |
| Authors: | JIANG Chun |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
