基于數(shù)據(jù)語義的工作流正確性研究.pdf

1、工作流管理技術(shù)是近年來在計算機領(lǐng)域發(fā)展中最為迅速的幾項新技術(shù)之一.而工作流中的正確性保證是工作流管理成功應(yīng)用的一個關(guān)鍵.該文以Petri網(wǎng)理論和Aalst的工作流網(wǎng)的研究為基礎(chǔ),對工作流建模方式、模型中控制流結(jié)構(gòu)的正確性、并發(fā)實例的正確性調(diào)度問題以及模式進化的正確性問題進行了研究;提出了變遷間數(shù)據(jù)語義的概念.在Petri網(wǎng)較為成熟的建模技術(shù)和工作流網(wǎng)模型描述的基礎(chǔ)上,提出了數(shù)據(jù)語義工作流網(wǎng)及其形式化描述,定義了數(shù)據(jù)語義工作流網(wǎng)的正確性條

2、件,并圖形化地闡述了網(wǎng)的控制流結(jié)構(gòu)和數(shù)據(jù)語義結(jié)構(gòu).針對工作流網(wǎng)中基于可達圖驗證方法中存在的空間爆炸性問題,提出了基于網(wǎng)化簡技術(shù)的一套控制流結(jié)構(gòu)的化簡分析規(guī)則及其形式化描述,并給出了有關(guān)的正確性證明.對于并發(fā)實例的數(shù)據(jù)語義的正確性保證問題,首先借助于時間分割概念,提出了并對實例執(zhí)行的正確性概念--執(zhí)行歷程,定義了執(zhí)行歷程的正確性,給出了有關(guān)的定理.以增及變遷的模式進化研究為基礎(chǔ),提出了進化中數(shù)據(jù)流、控制流、數(shù)據(jù)語義三個方面的進化的正確性保