采用动态描述逻辑实现UML状态图特性检测

计算机科学 ›› 2007, Vol. 34 ›› Issue (10): 268-271.

• 软件工程与数据库技术 • 上一篇下一篇

采用动态描述逻辑实现UML状态图特性检测

出版日期:2018-11-16 发布日期:2018-11-16
基金资助:
国家“973”重点基础研究发展规划基金项目（2005CB321905）.

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

摘要： 状态图是UML（Unified Modeling Language）语言中刻画对象行为的重要视图，而如何对状态图模型定义的正确性和有效性进行检验一直是一个亟待解决的问题。本文提出采用动态描述逻辑对UML状态图形式化，并利用该逻辑系统的推理能力对状态图相关静态和动态特性进行检测。我们首先将状态图描述为一个形式系统。其中，状态图中的一个状态对应于该形式系统中的一个状态，状态特性及描述被表示为该形式系统中的概念和公理，事件被表示为该形式系统中的动作。然后，我们通过概念测试来检验状态图状态可满足性和冗余性，通过公

关键词: UML 状态图特性检测动态描述逻辑

Abstract: The problem of how to detect the correctness and validity of a UML （Unified Modeling Language） statechart, an important view for object behaviour description, still remains unsolved up to now. In the paper, we suggest a solution by first translating the U

Key words: UML, Statechart, Property test, Dynamic description logic

. 采用动态描述逻辑实现UML状态图特性检测[J]. 计算机科学, 2007, 34(10): 268-271. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed

采用动态描述逻辑实现UML状态图特性检测

PDF (PC)

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 0

Metrics

本文评价

推荐阅读 0