formalization uml

基本解释

The chief task of consistent automatic checking UML model is to solve the formalization problem.
UML模型一致性自动检测的主要任务是解决形式化问题。
kns50.chkd.cnki.net
First, in terms of the complementarity of these two methods, the semantic definition, symbol definition and formalization definition of the UML/OOPN model are put forward.
首先根据两种方法的互补性，阐述了UML/OOPN模型的语义定义、图符定义和形式定义；
Second, the paper introduces the modeling characteristic of UML, provides formalization definition of nine kinds of diagram in UML using predicate logic, and points out their respective functions.
其次，本文对UML的建模特性进行了分析和研究，给出了UML中九种图的形式化定义，并指出它们各自的作用。