UML模型到COOZ规约的形式化转换

• 作者: 李宣东 郑国梁 黄春荣
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 统一建模语言UML COOZ 面向对象的模型
• 年，卷（期）: 2003,（20）
• 所属期刊栏目: 学术探讨
• 页码范围: 89-91
• 页数: 3页
• 分类号: TP311
• 字数: 3085字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2003.20.029

摘要

为UML建模元素提供坚实的形式化语义基础是目前的研究热点之一,在这方面也有了不少探索.文章在过去的研究的基础上,给出了UML模型到COOZ规约的一种系统的转化方法.将UML模型转换到COOZ规约后,UML模型的推理验证就可以通过相应COOZ规约的推理验证实现.该方法不但为UML提供了精确的形式化语义基础,而且,提供了一种UML模型推理的合理的机制.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李宣东	南京大学计算机科学与技术系	72	1417	20.0	36.0
5	郑国梁	南京大学计算机科学与技术系	77	1523	21.0	37.0
9	黄春荣	南京大学计算机科学与技术系	1	9	1.0	1.0