计算机工程2011，Vol.37Issue(13)：55-57,60,4.DOI:10.3969/j.issn.1000-3428.2011.13.016
基于动态描述逻辑的UML状态图形式化方法
Formal Method for UML Statechart Based on Dynamic Description Logics
摘要
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,4.基金项目
2010年度广西高等学校优秀人才资助计划基金资助项目"基于动态描述逻辑的UML状态图形式化方法" （）
