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

1、工作流管理技術(shù)是近年來在計(jì)算機(jī)領(lǐng)域發(fā)展中最為迅速的幾項(xiàng)新技術(shù)之一.而工作流中的正確性保證是工作流管理成功應(yīng)用的一個(gè)關(guān)鍵.該文以Petri網(wǎng)理論和Aalst的工作流網(wǎng)的研究為基礎(chǔ),對(duì)工作流建模方式、模型中控制流結(jié)構(gòu)的正確性、并發(fā)實(shí)例的正確性調(diào)度問題以及模式進(jìn)化的正確性問題進(jìn)行了研究;提出了變遷間數(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).針對(duì)工作流網(wǎng)中基于可達(dá)圖驗(yàn)證方法中存在的空間爆炸性問題,提出了基于網(wǎng)化簡(jiǎn)技術(shù)的一套控制流結(jié)構(gòu)的化簡(jiǎn)分析規(guī)則及其形式化描述,并給出了有關(guān)的正確性證明.對(duì)于并發(fā)實(shí)例的數(shù)據(jù)語義的正確性保證問題,首先借助于時(shí)間分割概念,提出了并對(duì)實(shí)例執(zhí)行的正確性概念--執(zhí)行歷程,定義了執(zhí)行歷程的正確性,給出了有關(guān)的定理.以增及變遷的模式進(jìn)化研究為基礎(chǔ),提出了進(jìn)化中數(shù)據(jù)流、控制流、數(shù)據(jù)語義三個(gè)方面的進(jìn)化的正確性保