formalization uml

基本解釋

The chief task of consistent automatic checking UML model is to solve the formalization problem.
UML模型一致性自動(dòng)檢測(cè)的主要任務(wù)是解決形式化問(wèn)題。
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.
首先根據(jù)兩種方法的互補(bǔ)性，闡述了UML/OOPN模型的語(yǔ)義定義、圖符定義和形式定義；
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.
其次，本文對(duì)UML的建模特性進(jìn)行了分析和研究，給出了UML中九種圖的形式化定義，竝指出它們各自的作用。