| UML模型到COOZ规约的形式化转换 |
| |
| 引用本文： | 黄春荣,李宣东,郑国梁.UML模型到COOZ规约的形式化转换[J].计算机工程与应用,2003,39(20):89-91. |
| |
| 作者姓名： | 黄春荣 李宣东 郑国梁 |
| |
| 作者单位： | 南京大学计算机科学与技术系,南京,210093;南京大学计算机软件新技术国家重点实验室,南京,210093 |
| |
| 基金项目： | 国家自然科学基金资助(编号:60073031)，国家863高技术研究发展计划资助(编号:2001AA113203)，江苏省自然科学基金资助(编号:BK2001033) |
| |
| 摘 要： | 为UML建模元素提供坚实的形式化语义基础是目前的研究热点之一,在这方面也有了不少探索。文章在过去的研究的基础上,给出了UML模型到COOZ规约的一种系统的转化方法。将UML模型转换到COOZ规约后,UML模型的推理验证就可以通过相应COOZ规约的推理验证实现。该方法不但为UML提供了精确的形式化语义基础,而且,提供了一种UML模型推理的合理的机制。
|
| 关 键 词： | 统一建模语言 UML COOZ 面向对象的模型 |
| 文章编号： | 1002-8331-(2003)20-0089-03 |
| 修稿时间： | 2002年6月1日 |
A Formal Transformation from UML Models to COOZ Specifications |
| |
| Huang Chunrong Li,Xuandong Zheng Guoliang.A Formal Transformation from UML Models to COOZ Specifications[J].Computer Engineering and Applications,2003,39(20):89-91. |
| |
| Authors: | Huang Chunrong Li Xuandong Zheng Guoliang |
| |
| Abstract: | There is much interest in developing a firm semantic basis for UML modeling concepts.This paper provides a formal,systematic semantic mapping between UML and COOZ.Thus,any verification of UML models can take place on their corresponding COOZ specifications using reasoning techniques provided by COOZ.With this approach,it provides not only a precise semantic basis for UML models but also a sound mechanism for reasoning about UML models. |
| |
| Keywords: | Unified Modeling Language COOZ Object-oriented modeling |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
