實(shí)時(shí)工作流建模與時(shí)序約束驗(yàn)證.pdf

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

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

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