南京邮电大学学报（自然科学版）
南京郵電大學學報（自然科學版）
남경유전대학학보（자연과학판）
JOURNAL OF NANJING UNIVERSITY OF POSTS AND TELECOMMUNICATIONS(NATURAL SCIENCE)
2007年
3期
39-43
,共5页
线性时序逻辑%形式化语义%UML2.0%顺序图%状态图%XYZ/E
線性時序邏輯%形式化語義%UML2.0%順序圖%狀態圖%XYZ/E
선성시서라집%형식화어의%UML2.0%순서도%상태도%XYZ/E
由于UML 2.0动态视图缺乏精确的语义,难以对它所表示的系统进行分析和验证.基于此,在描述UML 2.0顺序图和状态图语法和语法约束的基础上,采用可执行的线性时序逻辑语言XYZ/E定义其形式化语义,这样不仅便于UML 2.0顺序图和状态图之间的模型转换,也为使用UML和形式化方法相结合描述软件体系结构的交互行为奠定了基础.
由于UML 2.0動態視圖缺乏精確的語義,難以對它所錶示的繫統進行分析和驗證.基于此,在描述UML 2.0順序圖和狀態圖語法和語法約束的基礎上,採用可執行的線性時序邏輯語言XYZ/E定義其形式化語義,這樣不僅便于UML 2.0順序圖和狀態圖之間的模型轉換,也為使用UML和形式化方法相結閤描述軟件體繫結構的交互行為奠定瞭基礎.
유우UML 2.0동태시도결핍정학적어의,난이대타소표시적계통진행분석화험증.기우차,재묘술UML 2.0순서도화상태도어법화어법약속적기출상,채용가집행적선성시서라집어언XYZ/E정의기형식화어의,저양불부편우UML 2.0순서도화상태도지간적모형전환,야위사용UML화형식화방법상결합묘술연건체계결구적교호행위전정료기출.
