基于模糊描述逻辑的模糊UML类图形式化  

Formalization of fuzzy UML class diagrams based on fuzzy description logic

作　　者：周波[1] 张亚非[1] 陆建江[1] 王进鹏[1] 苗壮[1] 

机构地区：[1]解放军理工大学指挥自动化学院,江苏南京210007

出　　处：《解放军理工大学学报（自然科学版）》2010年第4期386-391,共6页Journal of PLA University of Science and Technology(Natural Science Edition)

基　　金：国家863计划资助项目(2007AA01Z126)

摘　　要：由于UML难以表示现实世界中存在的大量不确定和模糊的信息,因此前人提出了模糊UML。与UML类似,模糊UML是半形式化语言,缺乏精确的语义。为解决这一问题,提出一种用模糊描述逻辑形式化表示模糊UML类图的方法,扩展模糊描述逻辑f-SHOIN(D)为其逻辑基础,详细描述模糊UML类图中的类、属性和各种关系转化为模糊描述逻辑表达的形式化过程,最后用实例证明该方法是可行的。Since a majority of information in the real world is uncertain and vague which is difficult for UML,fuzzy UML has been presented.Similar to UML,fuzzy UML is semi-formed and lacks precise semantics.In order to solve this problem,an approach to formalize fuzzy UML class diagrams with fuzzy description logics was proposed.The fuzzy description logic f-SHOIN was extended with concrete fuzzy domain,and the formalization of elements in fuzzy UML class diagram was decribed.This approach was applied to a fuzzy UML data model to verify that it was available.

关 键 词：模糊UML 类图 模糊描述逻辑 形式化 

分 类 号：TP182[自动化与计算机技术—控制理论与控制工程]