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

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

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