计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2009年
24期
56-59
,共4页
统一建模语言(UML)%UML Statechart图%教据流语义%时序逻辑%验证%模型检测
統一建模語言(UML)%UML Statechart圖%教據流語義%時序邏輯%驗證%模型檢測
통일건모어언(UML)%UML Statechart도%교거류어의%시서라집%험증%모형검측
在传统的UML Statechart图中加入了数据流对象后,因为UML Statechart图缺乏精确的数据流语义,所以不适合应用UML Statechart图对工作流中的数据流进行建模并验证其正确性.为了解决这一问题,选择标记转换系统(LTS)作为语义域,并用结构化操作语义(SOS)分两步定义了UML Statechart图的教据流语义,为工作流中的数据流正确性验证奠定了基础.在此基础上,使用时序逻辑公式表示数据流所需满足的性质,在验证数据流的正确性之前,给出了将它的UML Stateehart图模型转化为可达状态迁移图的算法,最后通过模型检测算法验证数据流的正确性.
在傳統的UML Statechart圖中加入瞭數據流對象後,因為UML Statechart圖缺乏精確的數據流語義,所以不適閤應用UML Statechart圖對工作流中的數據流進行建模併驗證其正確性.為瞭解決這一問題,選擇標記轉換繫統(LTS)作為語義域,併用結構化操作語義(SOS)分兩步定義瞭UML Statechart圖的教據流語義,為工作流中的數據流正確性驗證奠定瞭基礎.在此基礎上,使用時序邏輯公式錶示數據流所需滿足的性質,在驗證數據流的正確性之前,給齣瞭將它的UML Stateehart圖模型轉化為可達狀態遷移圖的算法,最後通過模型檢測算法驗證數據流的正確性.
재전통적UML Statechart도중가입료수거류대상후,인위UML Statechart도결핍정학적수거류어의,소이불괄합응용UML Statechart도대공작류중적수거류진행건모병험증기정학성.위료해결저일문제,선택표기전환계통(LTS)작위어의역,병용결구화조작어의(SOS)분량보정의료UML Statechart도적교거류어의,위공작류중적수거류정학성험증전정료기출.재차기출상,사용시서라집공식표시수거류소수만족적성질,재험증수거류적정학성지전,급출료장타적UML Stateehart도모형전화위가체상태천이도적산법,최후통과모형검측산법험증수거류적정학성.
