摘要
由于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.
出处
《解放军理工大学学报（自然科学版）》
EI
北大核心
2010年第4期386-391,共6页
Journal of PLA University of Science and Technology(Natural Science Edition)
基金
国家863计划资助项目(2007AA01Z126)
关键词
模糊UML
类图
模糊描述逻辑
形式化
fuzzy UML（unified modeling larguage）
class diagram
fuzzy description logic
formalization
