计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2011年
13期
55-57,60
,共4页
动态描述逻辑%统一建模语言状态图%形式化方法%动作推理
動態描述邏輯%統一建模語言狀態圖%形式化方法%動作推理
동태묘술라집%통일건모어언상태도%형식화방법%동작추리
统一建模语言(UML)状态图包括静态语义和动态语义.针对该特点,提出基于动态描述逻辑的UML状态图形式化方法,介绍动态描述逻辑DDL_SHOIN(D)的语法和语义,设计UML状态图的DDL_SHOIN(D)形式化方法,研究状态图动作推理问题.给出状态图状态可达性和动作包含关系的定义,并证明其正确性.
統一建模語言(UML)狀態圖包括靜態語義和動態語義.針對該特點,提齣基于動態描述邏輯的UML狀態圖形式化方法,介紹動態描述邏輯DDL_SHOIN(D)的語法和語義,設計UML狀態圖的DDL_SHOIN(D)形式化方法,研究狀態圖動作推理問題.給齣狀態圖狀態可達性和動作包含關繫的定義,併證明其正確性.
통일건모어언(UML)상태도포괄정태어의화동태어의.침대해특점,제출기우동태묘술라집적UML상태도형식화방법,개소동태묘술라집DDL_SHOIN(D)적어법화어의,설계UML상태도적DDL_SHOIN(D)형식화방법,연구상태도동작추리문제.급출상태도상태가체성화동작포함관계적정의,병증명기정학성.
