基于Pi演算的交通Web服務組裝的描述和驗證.pdf

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

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

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