基于模糊描述逻辑的模糊UML类图形式化
Jiefangjun Ligong Daxue Xuebao/Journal of PLA University of Science and Technology (Natural Science Edition)（2010）
摘要
由于UML难以表示现实世界中存在的大量不确定和模糊的信息,因此前人提出了模糊UML.与UML类似,模糊UML是半形式化语言,缺乏精确的语义.为解决这一问题,提出一种用模糊描述逻辑形式化表示模糊UML类图的方法,扩展模糊描述逻辑f-SHOIN(D)为其逻辑基础,详细描述模糊UML类图中的类、属性和各种关系转化为模糊描述逻辑表达的形式化过程,最后用实例证明该方法是可行的.
更多查看译文
关键词
Class diagram,Formalization,Fuzzy description logic,Fuzzy UML (unified modeling language)
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要