A Formal Transformation from UML Models to COOZ Specifications

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