基于信牌驅動模型的模型驗證的分析與研究.pdf

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)另外，本文也介紹了模型解析的技術、解析技術的選擇原則，還提出了新的解析