基于SOA的服務(wù)組合機(jī)制研究.pdf

1、針對(duì)現(xiàn)有Web服務(wù)組合實(shí)現(xiàn)框架的不足，本文提出了基于編舞的Web服務(wù)組合實(shí)現(xiàn)框架；在服務(wù)組合的驗(yàn)證過程中，本文使用Pi-演算做為模型檢查工具，提出了將WS-CDL編舞轉(zhuǎn)化為Pi-演算表達(dá)式的CH2PI算法。在基于編舞的Web服務(wù)組合實(shí)現(xiàn)框架的基礎(chǔ)上，設(shè)計(jì)了手機(jī)報(bào)系統(tǒng)，并使用CH2PI算法對(duì)手機(jī)報(bào)系統(tǒng)中的服務(wù)組合進(jìn)行驗(yàn)證。
　　 首先，本文介紹了SOA的標(biāo)準(zhǔn)體系結(jié)構(gòu)，對(duì)SOA及其關(guān)鍵技術(shù)進(jìn)行了概括，討論了服務(wù)組合的分類和框架，比較

2、了服務(wù)組合的描述標(biāo)準(zhǔn)，詳細(xì)介紹了編舞描述語言WS-CDL的模板結(jié)構(gòu)。
　　 其次，對(duì)手機(jī)報(bào)系統(tǒng)的服務(wù)組合建模，提出了基于編舞的Web 服務(wù)組合實(shí)現(xiàn)框架，并在此框架基礎(chǔ)上，使用WS-CDL對(duì)手機(jī)報(bào)系統(tǒng)中的服務(wù)組合進(jìn)行編舞描述。在服務(wù)組合的模型驗(yàn)證階段，引進(jìn)Pi-演算理論，給出WS-CDL的模板元素到Pi-演算元素的映射規(guī)則，提出CH2PI算法，使用該算法將手機(jī)報(bào)系統(tǒng)中服務(wù)組合的編舞轉(zhuǎn)化成對(duì)應(yīng)的Pi-演算表達(dá)式，并使用MWB工具對(duì)該