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

• 作者: 何红悦 周波 宋自林
• 来源期刊: 郑州大学学报(理学版)
• 学科: 工学
• 关键词: UML状态图 描述逻辑 DL-safe规则 一致性
• 年，卷（期）: 2009,（1）
• 页码范围: 94-98
• 页数: 5页
• 分类号: TP181
• 字数: 3612字
• 语种: 中文

摘要

为了对UML状态图进行形式化验证,将状态图中的语义分为静态语义和动态语义两部分,用描述逻辑知识库表示静态语义,用DL-Safe规则表示动态语义.研究了检查UML状态图一致性的算法,该算法能够用DL-Safe规则对知识库进行推理达到检查状态图一致性的目的,最后分析了算法的可行性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	宋自林	解放军理工大学指挥自动化学院	53	504	10.0	21.0
2	何红悦	解放军理工大学指挥自动化学院	10	46	4.0	6.0
3	周波	解放军理工大学指挥自动化学院	11	31	3.0	5.0