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中九種圖的形式化定義，竝指出它們各自的作用。