科技信息
科技信息
과기신식
SCIENTIFIC & TECHNICAL INFORMATION
2008年
23期
747-748
,共2页
软件体系结构描述%形式化语义%UML 2.0%状态图%XYZ/E
軟件體繫結構描述%形式化語義%UML 2.0%狀態圖%XYZ/E
연건체계결구묘술%형식화어의%UML 2.0%상태도%XYZ/E
UML2.0状态图适合于描述软件体系结构中组件内部的动态行为及组件端口的行为,但UML2.0状态图的语义不够精确,使得它的描述结果不利于进行进一步的分析和验证.基于此,本文在定义UML 2.0状态图的语法的基础上.给出了LIML 2.0状态图的XYZ/E时序逻辑语义,为使用UML 2.0状态图与XYZ/E相结合的方式来描述软件体系结构中组件内部的动态行为及组件端口的行为奠定了基础.
UML2.0狀態圖適閤于描述軟件體繫結構中組件內部的動態行為及組件耑口的行為,但UML2.0狀態圖的語義不夠精確,使得它的描述結果不利于進行進一步的分析和驗證.基于此,本文在定義UML 2.0狀態圖的語法的基礎上.給齣瞭LIML 2.0狀態圖的XYZ/E時序邏輯語義,為使用UML 2.0狀態圖與XYZ/E相結閤的方式來描述軟件體繫結構中組件內部的動態行為及組件耑口的行為奠定瞭基礎.
UML2.0상태도괄합우묘술연건체계결구중조건내부적동태행위급조건단구적행위,단UML2.0상태도적어의불구정학,사득타적묘술결과불리우진행진일보적분석화험증.기우차,본문재정의UML 2.0상태도적어법적기출상.급출료LIML 2.0상태도적XYZ/E시서라집어의,위사용UML 2.0상태도여XYZ/E상결합적방식래묘술연건체계결구중조건내부적동태행위급조건단구적행위전정료기출.
