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

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

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

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