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

1、隨著網(wǎng)格技術(shù)的不斷發(fā)展及網(wǎng)格應(yīng)用研究的深入，網(wǎng)格環(huán)境下業(yè)務(wù)流程越來(lái)越復(fù)雜。隨著業(yè)務(wù)流程規(guī)模因跨領(lǐng)域跨組織而增大，導(dǎo)致業(yè)務(wù)流程的高復(fù)雜性，就會(huì)由于狀態(tài)空間爆炸而給網(wǎng)格工作流的驗(yàn)證帶來(lái)困難。本文針對(duì)這個(gè)問(wèn)題，研究面向語(yǔ)義約束的協(xié)同驗(yàn)證方法，使協(xié)同驗(yàn)證基于化簡(jiǎ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)證過(guò)程。已有研究中的驗(yàn)證都不具有分布式特性，而協(xié)同驗(yàn)證是分布式的?？紤]子模型之間存在的關(guān)系，定義了SCN的協(xié)作方式，分析了合成模型的驗(yàn)證方法。論證了協(xié)同驗(yàn)證在兩個(gè)維度上交叉驗(yàn)證的合理性，并比較了交叉驗(yàn)證與“先子模型，后合成”驗(yàn)證方法的區(qū)別，說(shuō)明了協(xié)同驗(yàn)證具有動(dòng)態(tài)性的優(yōu)勢(shì)。
　　 （3）研究協(xié)同驗(yàn)證的化簡(jiǎn)規(guī)則。結(jié)構(gòu)化簡(jiǎn)的原則是無(wú)結(jié)構(gòu)沖突，不適用于協(xié)同驗(yàn)證。協(xié)