實時工作流建模與時序約束驗證.pdf

1、目前，隨著計算機和網絡技術的迅速發(fā)展，實時系統(tǒng)已越來越廣泛地應用于國防工業(yè)、航空航天工業(yè)、交通運輸業(yè)、制造加工業(yè)、流程生產行業(yè)、電訊業(yè)等領域。典型的實時系統(tǒng)有現代化指揮、通訊、控制與武器系統(tǒng)，飛行控制系統(tǒng)，現代化交通控制系統(tǒng)，汽車電子系統(tǒng)，復雜工業(yè)過程控制系統(tǒng)，機器人控制系統(tǒng)，股票交易系統(tǒng)等。
　　 工作流技術是近幾年IT領域發(fā)展最為迅速的技術之一，也是當前IT領域的一個研究熱點。實時系統(tǒng)的特性決定了這一類系統(tǒng)非常適合采用工作流

2、技術進行建模、設計、開發(fā)與管理。但目前缺乏有效的實時系統(tǒng)工作流時間建模與驗證方法，工作流管理系統(tǒng)也沒有足夠的時間管理支持，這在很大程度上制約了實時系統(tǒng)工作流的實際應用與發(fā)展。
　　 本文首先闡述了實時系統(tǒng)和工作流的性質與特點，給出了實時工作流的定義，詳細分析了實時工作流時間管理要求；在此基礎上，對工作流圖進行時間擴展，定義了實時工作流元模型，并給出了實時工作流建模規(guī)則。在實時工作流時序約束驗證方面，提出了一個轉換算法，將實時工作

3、流模型轉化成時間自動機，進而又給出時間自動機到域自動機的轉換方法，將時間自動機模型轉換成域自動機模型，并利用模型檢測技術驗證實時工作流域自動機模型的時序約束一致性。在實時工作流時序約束動態(tài)驗證上，本文給出了一種基于關鍵路徑的實時工作流截止時間期限動態(tài)驗證方法。在運行階段，使用該動態(tài)驗證方法，就可以識別、預測可能存在的時間約束違反，并通過工作流調度的動態(tài)調整力求重新達到實例執(zhí)行的一致狀態(tài)。
　　 本文的研究給出了一種實時工作流建模