基于接口自動(dòng)機(jī)的服務(wù)組合驗(yàn)證研究.pdf

1、目前，隨著Web服務(wù)技術(shù)的不斷推廣與應(yīng)用，面向服務(wù)的計(jì)算已經(jīng)成為軟件工程領(lǐng)域的研究熱點(diǎn)。通過重用現(xiàn)有服務(wù)，將服務(wù)進(jìn)行組合，企業(yè)能夠更為快速有效的構(gòu)建具有靈活、松耦合特點(diǎn)的分布式系統(tǒng)。如何利用現(xiàn)有的服務(wù)資源，搭建結(jié)構(gòu)更復(fù)雜，功能更強(qiáng)大的業(yè)務(wù)系統(tǒng)，以及驗(yàn)證服務(wù)組合與業(yè)務(wù)需求的一致性，是當(dāng)前研究的一個(gè)重點(diǎn)。
　　 針對目前缺乏一種支持圖形化表示、形式化驗(yàn)證的服務(wù)組合模型，本文提出了基于接口自動(dòng)機(jī)的服務(wù)組合模型，該模型擴(kuò)展了接口自動(dòng)機(jī)，

2、能夠同時(shí)描述服務(wù)流程與服務(wù)語義。本文設(shè)計(jì)了BPEL流程到接口自動(dòng)機(jī)模型的轉(zhuǎn)換算法。模型利用接口自動(dòng)機(jī)并發(fā)組合算法實(shí)現(xiàn)服務(wù)流程的組合，通過檢測接口自動(dòng)機(jī)的行為模型來驗(yàn)證服務(wù)流程與業(yè)務(wù)需求的一致性。實(shí)驗(yàn)表明，基于接口自動(dòng)機(jī)的服務(wù)組合模型能夠準(zhǔn)確、完備的表達(dá)BPEL流程，同時(shí)模型能夠準(zhǔn)確的驗(yàn)證服務(wù)流程與業(yè)務(wù)流程是否一致。
　　 針對目前缺乏一種對服務(wù)質(zhì)量(QoS)需求的驗(yàn)證方法，本文在接口自動(dòng)機(jī)模型的基礎(chǔ)上，提出了一種對服務(wù)QoS需求

3、進(jìn)行驗(yàn)證的方法。該方法在將服務(wù)質(zhì)量屬性進(jìn)行定量描述的基礎(chǔ)上，設(shè)計(jì)了一種針對QoS需求的形式化表述策略。針對BPEL對QoS屬性支持不足的缺點(diǎn)，在BPEL上擴(kuò)展了描述QoS屬性的標(biāo)簽。本方法能對由接口自動(dòng)機(jī)模型組合后的組合服務(wù)中每一項(xiàng)業(yè)務(wù)功能均進(jìn)行QoS需求驗(yàn)證，通過和其他QoS驗(yàn)證方法實(shí)驗(yàn)比較，本方法能夠更高效的驗(yàn)證QoS需求。
　　 本文主要關(guān)注于服務(wù)組合驗(yàn)證方面的研究，包括接口自動(dòng)機(jī)的服務(wù)組合模型、組合服務(wù)與業(yè)務(wù)功能一致性的