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

A Formal Transformation from UML Models to COOZ Specifications

作　　者：黄春荣 李宣东[1,2] 郑国梁[1,2] 

机构地区：[1]南京大学计算机软件新技术国家重点实验室 [2]南京大学计算机科学与技术系南京210093

出　　处：《计算机工程与应用》2003年第20期89-91,共3页Computer Engineering and Applications

基　　金：国家自然科学基金资助(编号:60073031);国家863高技术研究发展计划资助(编号:2001AA113203);江苏省自然科学基金资助(编号:BK2001033)

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

关 键 词：统一建模语言UML COOZ 面向对象的模型 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]