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提供了精确的形式化语义基础,而且,提供了一种UML模型推理的合理的机制。