基于Pi演算的交通Web服務(wù)組裝的描述和驗(yàn)證.pdf

1、當(dāng)前城市交通系統(tǒng)的發(fā)展重點(diǎn)是如何在Internet環(huán)境下建立交通應(yīng)用系統(tǒng)，實(shí)現(xiàn)廣域范圍內(nèi)的資源共享與協(xié)同操作。并且使交城市交通系統(tǒng)提供的服務(wù)在面臨各種事故、故障的情況下仍能繼續(xù)工作，使城市交通系統(tǒng)具有可生存性。傳統(tǒng)的軟件技術(shù)體系無法有效地適應(yīng)城市交通系統(tǒng)發(fā)展過程中所呈現(xiàn)的復(fù)雜性、分布性和異構(gòu)性等特征，成為制約其發(fā)展的癥結(jié)所在。本文將Internet環(huán)境下的Web服務(wù)技術(shù)引入到城市交通系統(tǒng)當(dāng)中，用于指導(dǎo)交通應(yīng)用系統(tǒng)的構(gòu)建與維護(hù)。

2、 Web服務(wù)是一種依賴互聯(lián)網(wǎng)絡(luò)的XML-RPC實(shí)現(xiàn)方法，具有開放式標(biāo)準(zhǔn)、與平臺無關(guān)性、簡單性、消息的可閱讀性好等優(yōu)點(diǎn)。應(yīng)用它可以實(shí)現(xiàn)跨平臺、可互操作的分布式應(yīng)用，并可兼顧現(xiàn)有系統(tǒng)的可重用性。本文首先給出了基于Web服務(wù)的交通協(xié)同Web服務(wù)體系結(jié)構(gòu)，以交通協(xié)同服務(wù)系統(tǒng)為例說明了服務(wù)的協(xié)同工作方式。Web服務(wù)的動態(tài)組合使系統(tǒng)根據(jù)環(huán)境需要實(shí)現(xiàn)服務(wù)系統(tǒng)的重配置，系統(tǒng)服務(wù)的可生存性得到增強(qiáng)。因?yàn)镻i演算不僅可以傳遞CCS中的變量和值等，還可以傳遞

3、通道名，并且將這幾種實(shí)體都統(tǒng)稱為名字而不再作區(qū)分等優(yōu)點(diǎn)這使得Pi演算具有了建立新通道的能力，因此Pi演算可以用來描述不斷變化的并發(fā)系統(tǒng)[1]。本文基于Pi演算理論，用Pi演算理論形式化描述交通協(xié)同應(yīng)急系統(tǒng)中的Web服務(wù)組合并對其進(jìn)行建模。 最后本文將本體系結(jié)構(gòu)用于本課題組開發(fā)的交通協(xié)同Web服務(wù)中并予以實(shí)現(xiàn)，然后通過Pi演算的操作語義、自動推演等理論判斷Web服務(wù)之間交互的兼容性。該方法還能判斷出服務(wù)在何種情況下能正常交互，在何