作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2011, Vol. 37 ›› Issue (13): 55-57,60. doi: 10.3969/j.issn.1000-3428.2011.13.016

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

基于动态描述逻辑的UML状态图形式化方法

陈振庆,罗兰花   

  1. (贺州学院计算机科学与工程系,广西 贺州 542800)
  • 收稿日期:2010-12-20 出版日期:2011-07-05 发布日期:2011-07-05
  • 作者简介:陈振庆(1973-),男,副教授、硕士,主研方向:描述逻辑,语义Web,软件工程;罗兰花,硕士
  • 基金资助:
    2010年度广西高等学校优秀人才资助计划基金资助项目“基于动态描述逻辑的UML状态图形式化方法”

Formal Method for UML Statechart Based on Dynamic Description Logics

CHEN Zhen-qing, LUO Lan-hua   

  1. (Department of Computer Science and Engineering, Hezhou University, Hezhou 542800, China)
  • Received:2010-12-20 Online:2011-07-05 Published:2011-07-05

摘要: 统一建模语言(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

中图分类号: