摘要
为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.
出处
《计算机工程与应用》
CSCD
北大核心
2003年第20期89-91,共3页
Computer Engineering and Applications
基金
国家自然科学基金资助(编号:60073031)
国家863高技术研究发展计划资助(编号:2001AA113203)
江苏省自然科学基金资助(编号:BK2001033)
