《組合Web服務的建模與驗證》是依託西安電子科技大學，由段振華擔任項目負責人的面上項目。
基本介紹
- 中文名：組合Web服務的建模與驗證
- 項目類別：面上項目
- 項目負責人：段振華
- 依託單位：西安電子科技大學
- 批准號：60873018
- 申請代碼：F0201
- 負責人職稱：教授
- 研究期限：2009-01-01 至 2011-12-31
- 支持經費：36（萬元）
中文摘要
以投影時序邏輯的可執行子集Framed Tempura 為基礎，定義組合Web 服務建模語言WS-Tempura 的語句結構和通信機制，研究該語言的操作語義，並開發該語言的解釋器。研究該語言的正則形及正則圖，研究該語言的可判定性，判定算法及算法複雜度。.研究BPEL 流程到WS-Tempura 程式的轉換規則，並開發自動轉換工具，以實現BPEL 流程模型的自動提取。研究基於WS-Tempura 程式執行的仿真和錯誤診斷技術；基於執行生成的正則圖，研究該圖的性質以及相關的程式分析技術。以WS-Tempura 建模語言描述組合Web 服務的行為，以PPTL 描述組合Web 服務的性質，研究基於模型檢測工具SPIN 的驗證方法；.同時，在由WS-Tempura 和PPTL 組成的統一時序邏輯框架下，研究基於SAT 的模型、性質.一體化的組合Web 服務驗證方法。
