郑州大学学报(理学版)
鄭州大學學報(理學版)
정주대학학보(이학판)
JOURNAL OF ZHENGZHOU UNIVERSITY(NATURAL SCIENCE EDITION)
2009年
1期
94-98
,共5页
UML状态图%描述逻辑%DL-safe规则%一致性
UML狀態圖%描述邏輯%DL-safe規則%一緻性
UML상태도%묘술라집%DL-safe규칙%일치성
为了对UML状态图进行形式化验证,将状态图中的语义分为静态语义和动态语义两部分,用描述逻辑知识库表示静态语义,用DL-Safe规则表示动态语义.研究了检查UML状态图一致性的算法,该算法能够用DL-Safe规则对知识库进行推理达到检查状态图一致性的目的,最后分析了算法的可行性.
為瞭對UML狀態圖進行形式化驗證,將狀態圖中的語義分為靜態語義和動態語義兩部分,用描述邏輯知識庫錶示靜態語義,用DL-Safe規則錶示動態語義.研究瞭檢查UML狀態圖一緻性的算法,該算法能夠用DL-Safe規則對知識庫進行推理達到檢查狀態圖一緻性的目的,最後分析瞭算法的可行性.
위료대UML상태도진행형식화험증,장상태도중적어의분위정태어의화동태어의량부분,용묘술라집지식고표시정태어의,용DL-Safe규칙표시동태어의.연구료검사UML상태도일치성적산법,해산법능구용DL-Safe규칙대지식고진행추리체도검사상태도일치성적목적,최후분석료산법적가행성.
