常見例句雙語例句The chief task of consistent automatic checking UML model is to solve the formalization problem.UML模型一致性自動檢測的主要任務(wù)是解決形式化問題。kns50.chkd.cnki.netFirst, 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ù)兩種方法的互補性，闡述了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的建模特性進(jìn)行了分析和研究，給出了UML中九種圖的形式化定義，竝指出它們各自的作用。 返回 formalization uml