Nowadays, there are lots of study results of formalizing UML, but they are limited.

• 目前，已经有很多UML形式化的研究成果，但都存在一定的局限性。