Author(s): HUANG Chunrong, LI Xuandong, ZHENG Guoliang
Pages: 89-91
Year: 2003 Issue:  20
Journal: COMPUTER ENGINEERING AND APPLICATIONS
Keyword:  统一建模语言UML COOZ 面向对象的模型;
Abstract: 为UML建模元素提供坚实的形式化语义基础是目前的研究热点之一,在这方面也有了不少探索.文章在过去的研究的基础上,给出了UML模型到COOZ规约的一种系统的转化方法.将UML模型转换到COOZ规约后,UML模型的推理验证就可以通过相应COOZ规约的推理验证实现.该方法不但为UML提供了精确的形式化语义基础,而且,提供了一种UML模型推理的合理的机制.