摘要: 统一建模语言(UML)状态图包括静态语义和动态语义。针对该特点,提出基于动态描述逻辑的UML状态图形式化方法,介绍动态描述逻辑DDL_SHOIN(D)的语法和语义,设计UML状态图的DDL_SHOIN(D)形式化方法,研究状态图动作推理问题。给出状态图状态可达性和动作包含关系的定义,并证明其正确性。
关键词:
动态描述逻辑,
统一建模语言状态图,
形式化方法,
动作推理
Abstract: The dynamic dimension is introduced by Dynamic Description Logics(DDL) on the basis of traditional description logics. It possesses powerful expression ability of static structure and dynamic behavior. According to the characteristics that Unified Modeling Language(UML) statechart includes static semantics and dynamic semantics, a formal methodology for UML statechart based on dynamic description logics is proposed, and the syntax and the semantics of DDL DDL_SHOIN(D) is presented. A formal methodology that using DDL_SHOIN(D) to formalize UML statechart is given out, and the action reasoning problems of the statechart are studied. The state accessibility and the subsumption definitions of the statechart behavior are put forward. The validity of the definitions is proved.
Key words:
Dynamic Description Logics(DDL),
Unified Modeling Language(UML) statechart,
formal method,
action reasoning
中图分类号:
陈振庆, 罗兰花. 基于动态描述逻辑的UML状态图形式化方法[J]. 计算机工程, 2011, 37(13): 55-57,60.
CHEN Zhen-Qiang, LUO Lan-Hua. Formal Method for UML Statechart Based on Dynamic Description Logics[J]. Computer Engineering, 2011, 37(13): 55-57,60.