基于信牌驅動模型的模型驗證的分析與研究.pdf_第1頁
已閱讀1頁,還剩70頁未讀, 繼續(xù)免費閱讀

下載本文檔

版權說明:本文檔由用戶提供并上傳,收益歸屬內容提供方,若內容存在侵權,請進行舉報或認領

文檔簡介

1、隨著社會的進步和科技的發(fā)展,越來越多的企業(yè)對工作流管理系統(tǒng)的需求也日趨高漲,而目前為企業(yè)的業(yè)務過程提供流程建模、模型仿真與優(yōu)化、管理和集成的工作流產品卻少之又少。我們知道工作流管理系統(tǒng)中的一個核心問題就是要為待描述的流程定義提供一種流程描述通用性好、表現(xiàn)能力強和靈活性高的工作流模型,這也是構建可靠性高、重用性與交互性好的工作流管理系統(tǒng)的基礎和關鍵。那么工作流模型建立之后怎么保證它的正確性和合理性運行呢?一般來說,對其語法正確性,可采用仿

2、真來加以驗證,通過分析研究仿真結果進而優(yōu)化模型;而對其語義和結構的正確性,可以采用數(shù)學證明的方法來加以驗證。但是由于實際模型的復雜性,至今還沒有很好的解決方案有效的保證模型的正確性。 本文主要針對模型建立之后,對其語法、語義及結構做出驗證,從而保證模型在實際運行之前的正確性。主要的工作如下: (1)首先從工作流模型入手,逐步介紹了工作流管理系統(tǒng)、工作流參考模型等,在此基礎上分析其不足之處,引入了基于Petri網的信牌驅動

3、模型,并介紹了一些典型的工作流模型,還將信牌驅動模型與一些典型的工作流模型做了比較,顯示出了其諸多優(yōu)越性。 (2)在詳細研究、分析信牌驅動模型的基礎上,本文對其語法、語義及結構提出了模型驗證的方案:對其語法應按照模型約束規(guī)則直接進行驗證;對其語義及結構的驗證,給出了同步區(qū)算法和轉換歸約的驗證方案。通過對模型驗證的實施,有效的保證了模型的正確性。 (3)另外,本文也介紹了模型解析的技術、解析技術的選擇原則,還提出了新的解析

溫馨提示

  • 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙,網頁內容里面會有圖紙預覽,若沒有圖紙預覽就沒有圖紙。
  • 4. 未經權益所有人同意不得將文件中的內容挪作商業(yè)或盈利用途。
  • 5. 眾賞文庫僅提供信息存儲空間,僅對用戶上傳內容的表現(xiàn)方式做保護處理,對用戶上傳分享的文檔內容本身不做任何修改或編輯,并不能對任何下載內容負責。
  • 6. 下載文件中如有侵權或不適當內容,請與我們聯(lián)系,我們立即糾正。
  • 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

評論

0/150

提交評論