解放军理工大学学报(自然科学版)
解放軍理工大學學報(自然科學版)
해방군리공대학학보(자연과학판)
JOURNAL OF PLA UNIVERSITY OF SCIENCE AND TECHNOLOGY(NATURAL SCIENCE EDITION)
2010年
4期
386-391
,共6页
周波%张亚非%陆建江%王进鹏%苗壮
週波%張亞非%陸建江%王進鵬%苗壯
주파%장아비%륙건강%왕진붕%묘장
模糊UML%类图%模糊描述逻辑%形式化
模糊UML%類圖%模糊描述邏輯%形式化
모호UML%류도%모호묘술라집%형식화
由于UML难以表示现实世界中存在的大量不确定和模糊的信息,因此前人提出了模糊UML.与UML类似,模糊UML是半形式化语言,缺乏精确的语义.为解决这一问题,提出一种用模糊描述逻辑形式化表示模糊UML类图的方法,扩展模糊描述逻辑f-SHOIN(D)为其逻辑基础,详细描述模糊UML类图中的类、属性和各种关系转化为模糊描述逻辑表达的形式化过程,最后用实例证明该方法是可行的.
由于UML難以錶示現實世界中存在的大量不確定和模糊的信息,因此前人提齣瞭模糊UML.與UML類似,模糊UML是半形式化語言,缺乏精確的語義.為解決這一問題,提齣一種用模糊描述邏輯形式化錶示模糊UML類圖的方法,擴展模糊描述邏輯f-SHOIN(D)為其邏輯基礎,詳細描述模糊UML類圖中的類、屬性和各種關繫轉化為模糊描述邏輯錶達的形式化過程,最後用實例證明該方法是可行的.
유우UML난이표시현실세계중존재적대량불학정화모호적신식,인차전인제출료모호UML.여UML유사,모호UML시반형식화어언,결핍정학적어의.위해결저일문제,제출일충용모호묘술라집형식화표시모호UML류도적방법,확전모호묘술라집f-SHOIN(D)위기라집기출,상세묘술모호UML류도중적류、속성화각충관계전화위모호묘술라집표체적형식화과정,최후용실예증명해방법시가행적.