云南民族大学学报（自然科学版）
雲南民族大學學報（自然科學版）
운남민족대학학보（자연과학판）
Journal of Yunnan University of Nationalities (Natural Sciences Edition)
2015年
6期
506-509
,共4页
common logic%UML类图%形式化%一致性验证
common logic%UML類圖%形式化%一緻性驗證
common logic%UML류도%형식화%일치성험증
common logic%UML -class diagram%formalization%consistency verification
统一建模语言（UML）是目前广泛使用的一种面向对象建模语言，其图形化，半形式化的特点，使其缺乏精确的语义描述，模型之间容易出现不一致问题，因此，UML 类图的形式化问题尤为重要．common logic 是一阶逻辑的一个特殊拓展，语法简洁，无符号，易读易掌握易使用，语义精确，满足一阶模型理论，相较于其它逻辑语言，更适合 UML 类图进行形式化规约．因此，提出采用 common logic 对 UML 类图进行形式化，得到形式化的语义规约，并对实例模型进行一致性验证．
統一建模語言（UML）是目前廣汎使用的一種麵嚮對象建模語言，其圖形化，半形式化的特點，使其缺乏精確的語義描述，模型之間容易齣現不一緻問題，因此，UML 類圖的形式化問題尤為重要．common logic 是一階邏輯的一箇特殊拓展，語法簡潔，無符號，易讀易掌握易使用，語義精確，滿足一階模型理論，相較于其它邏輯語言，更適閤 UML 類圖進行形式化規約．因此，提齣採用 common logic 對 UML 類圖進行形式化，得到形式化的語義規約，併對實例模型進行一緻性驗證．
통일건모어언（UML）시목전엄범사용적일충면향대상건모어언，기도형화，반형식화적특점，사기결핍정학적어의묘술，모형지간용역출현불일치문제，인차，UML 류도적형식화문제우위중요．common logic 시일계라집적일개특수탁전，어법간길，무부호，역독역장악역사용，어의정학，만족일계모형이론，상교우기타라집어언，경괄합 UML 류도진행형식화규약．인차，제출채용 common logic 대 UML 류도진행형식화，득도형식화적어의규약，병대실례모형진행일치성험증．
UML,a widely used object -oriented modeling language which is graphical but not completely formal, lacks precise semantic description and has inconsistent problems.So,the formalization of the UML -class diagram is very important.Common logic,a special expansion of first -order logic whose grammar is concise and unsigned, semantically precise,and can satisfy the first -order model theory,is easy to read,understand and use.Compared with other logical languages,Common logic is more suitable to formalize the UML -class diagram.Therefore,this research uses it to formalize the UML -class diagram and verifies its consistency with examples.
