面向語義約束的協(xié)同驗(yàn)證研究.pdf

1、隨著網(wǎng)格技術(shù)的不斷發(fā)展及網(wǎng)格應(yīng)用研究的深入，網(wǎng)格環(huán)境下業(yè)務(wù)流程越來越復(fù)雜。隨著業(yè)務(wù)流程規(guī)模因跨領(lǐng)域跨組織而增大，導(dǎo)致業(yè)務(wù)流程的高復(fù)雜性，就會(huì)由于狀態(tài)空間爆炸而給網(wǎng)格工作流的驗(yàn)證帶來困難。本文針對這個(gè)問題，研究面向語義約束的協(xié)同驗(yàn)證方法，使協(xié)同驗(yàn)證基于化簡技術(shù)，提高驗(yàn)證效率。主要做了以下幾個(gè)方面的工作：
　　 （1）研究協(xié)同驗(yàn)證的概念和模型。深入分析了網(wǎng)格工作流驗(yàn)證的研究現(xiàn)狀，突破已有研究中結(jié)構(gòu)驗(yàn)證的局限，研究協(xié)同驗(yàn)證的理論，建立

2、理論模型，提出了協(xié)同驗(yàn)證具有二維性的觀點(diǎn)。
　　 （2）研究協(xié)同驗(yàn)證過程。已有研究中的驗(yàn)證都不具有分布式特性，而協(xié)同驗(yàn)證是分布式的。考慮子模型之間存在的關(guān)系，定義了SCN的協(xié)作方式，分析了合成模型的驗(yàn)證方法。論證了協(xié)同驗(yàn)證在兩個(gè)維度上交叉驗(yàn)證的合理性，并比較了交叉驗(yàn)證與“先子模型，后合成”驗(yàn)證方法的區(qū)別，說明了協(xié)同驗(yàn)證具有動(dòng)態(tài)性的優(yōu)勢。
　　 （3）研究協(xié)同驗(yàn)證的化簡規(guī)則。結(jié)構(gòu)化簡的原則是無結(jié)構(gòu)沖突，不適用于協(xié)同驗(yàn)證。協(xié)