基于DL-Safe规则的UML状态图形式化和一致性验证  

Formalization and Consistency Checking of UML-Statechart Based on DL-Safe Rule

作　　者：何红悦[1] 宋自林[1] 周波[1] 

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

出　　处：《郑州大学学报（理学版）》2009年第1期94-98,共5页Journal of Zhengzhou University:Natural Science Edition

基　　金：国家自然科学基金资助项目;编号10501053

摘　　要：为了对UML状态图进行形式化验证,将状态图中的语义分为静态语义和动态语义两部分,用描述逻辑知识库表示静态语义,用DL-Safe规则表示动态语义.研究了检查UML状态图一致性的算法,该算法能够用DL-Safe规则对知识库进行推理达到检查状态图一致性的目的,最后分析了算法的可行性.The semantic information of UML-Statechart is divided into static aspect and dynamic aspect.The static aspect is expressed by a knowledge base of description logics,and the dynamic aspect is expressed by DLSafe rule.An algorithm is proposed for checking the consistency of UML-Statechart,which can use the DL-Safe rule to reason the knowledge base.Finally,the feasibility of the algorithm is analyzed theoretically.

关 键 词：UML状态图 描述逻辑 DL-Safe规则 一致性 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]