基于Object-Z的带OCL约束的UML类图形式化描述

• 作者: 江春
• 来源期刊: 沈阳师范大学学报(自然科学版)
• 学科: 工学
• 关键词: 统一建模2.0 对象约束语言 形式化语言Object-Z
• 年，卷（期）: 2008,（4）
• 页码范围: 456-459
• 页数: 4页
• 分类号: TP312
• 字数: 2309字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-5862.2008.04.022

摘要

UML OCL是基于一阶谓词逻辑和集合论的形式化语言,用它对UML类图进行约束后类图便具备严格语法和精确语义,同时也具备了演绎验证的基本条件;但由于目前的建模工具还无法对缺乏精确语义的UML类图进行有效的演绎验证.因此提出了一种带OCL约束的UML类图通过Object-Z进行形式化描述的方法,这样便可以充分利用Object-Z强大的演绎验证能力来验证UML类图的正确性和是否具有某种性质等.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	江春	苏州大学计算机科学与技术学院	4	16	2.0	4.0