计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2005年
9期
1478-1484
,共7页
UML%活动图%形式化语义%时序逻辑%XYZ/E
UML%活動圖%形式化語義%時序邏輯%XYZ/E
UML%활동도%형식화어의%시서라집%XYZ/E
UML活动图可以表示不同抽象级的控制流,很适合用于对系统的行为建模.但是缺乏精确的语义使得难以对它所表示的系统行为进行分析.XYZ/E是一可执行线性时序逻辑语言,既可描述系统的动态行为又可表示程序性质,用它对活动图形式化后,就可在统一的逻辑框架下分析活动图的性质.定义了一个有向图结构用以表示UML活动图,再给出其XYZ/E语义,并用一个例子说明活动图到XYZ/E的语义转换,为进一步的分析提供形式化基础.
UML活動圖可以錶示不同抽象級的控製流,很適閤用于對繫統的行為建模.但是缺乏精確的語義使得難以對它所錶示的繫統行為進行分析.XYZ/E是一可執行線性時序邏輯語言,既可描述繫統的動態行為又可錶示程序性質,用它對活動圖形式化後,就可在統一的邏輯框架下分析活動圖的性質.定義瞭一箇有嚮圖結構用以錶示UML活動圖,再給齣其XYZ/E語義,併用一箇例子說明活動圖到XYZ/E的語義轉換,為進一步的分析提供形式化基礎.
UML활동도가이표시불동추상급적공제류,흔괄합용우대계통적행위건모.단시결핍정학적어의사득난이대타소표시적계통행위진행분석.XYZ/E시일가집행선성시서라집어언,기가묘술계통적동태행위우가표시정서성질,용타대활동도형식화후,취가재통일적라집광가하분석활동도적성질.정의료일개유향도결구용이표시UML활동도,재급출기XYZ/E어의,병용일개례자설명활동도도XYZ/E적어의전환,위진일보적분석제공형식화기출.