This paper proposes a method of checking the consistency of a UML model based on the algebraic rewriting logic.

该文提出了一种基于代数重写逻辑的UML模型一致性检查的方法。

youdao

This paper proposes a method of checking the consistency of a UML model based on the algebraic rewriting logic.

该文提出了一种基于代数重写逻辑的UML模型一致性检查的方法。

youdao