本書(shū)從組合服務(wù)建模、測(cè)試和驗(yàn)證三個(gè)方面著手，系統(tǒng)全面地介紹了與面向Web服務(wù)的軟件開(kāi)發(fā)和軟件質(zhì)量保證相關(guān)的技術(shù)理論和方法。全書(shū)共16章，其中第1、2章重點(diǎn)介紹了與Web服務(wù)相關(guān)的基礎(chǔ)知識(shí)，包括基本概念、基本術(shù)語(yǔ)以及基本原理；第3、4章重點(diǎn)介紹了Web服務(wù)的建模技術(shù)，包括UML建模和有色Petri網(wǎng)建模；第5～10章重點(diǎn)介紹了各種類(lèi)型的Web服務(wù)測(cè)試技術(shù)和方法，包括單元測(cè)試、集成測(cè)試、回歸測(cè)試、變異測(cè)試和測(cè)試用例生成等；第11～16章重點(diǎn)介紹組合Web服務(wù)的靜態(tài)驗(yàn)證和動(dòng)態(tài)監(jiān)控等技術(shù)。
本書(shū)適用于軟件工程學(xué)科專(zhuān)業(yè)的教師、研究生和高年級(jí)本科生，以及從事面向服務(wù)軟件開(kāi)發(fā)和質(zhì)量管理的工程技術(shù)人員。
李必信等編著的《組合服務(wù)建模測(cè)試與驗(yàn)證》從組合服務(wù)建模、測(cè)試和驗(yàn)證三個(gè)方面著手，系統(tǒng)全面地介紹了與面向web服務(wù)的軟件開(kāi)發(fā)和軟件質(zhì)量保證相關(guān)的技術(shù)理論和方法。本書(shū)適用于軟件工程學(xué)科專(zhuān)業(yè)的教師、研究生和高年級(jí)本科生，以及從事面向服務(wù)軟件開(kāi)發(fā)和質(zhì)量管理的工程技術(shù)人員。
《信息科學(xué)技術(shù)學(xué)術(shù)著作叢書(shū)》序
前言
第1章 Web服務(wù)概述
1.1 Web服務(wù)簡(jiǎn)介
1.1.1 Web服務(wù)定義
1.1.2 Web服務(wù)技術(shù)體系
1.2 XML簡(jiǎn)介
1.2.1 XML的由來(lái)與發(fā)展
1.2.2 XML簡(jiǎn)明語(yǔ)法規(guī)則
1.2.3 DTD和XML Schema
1.3 BPEL簡(jiǎn)介
1.3.1 BPEL語(yǔ)法
1.3.2 BPEL執(zhí)行引擎
1.4 WS-CDL簡(jiǎn)介
1.4.1 WS-CDL語(yǔ)法規(guī)則 《信息科學(xué)技術(shù)學(xué)術(shù)著作叢書(shū)》序
前言
第1章 Web服務(wù)概述
1.1 Web服務(wù)簡(jiǎn)介
1.1.1 Web服務(wù)定義
1.1.2 Web服務(wù)技術(shù)體系
1.2 XML簡(jiǎn)介
1.2.1 XML的由來(lái)與發(fā)展
1.2.2 XML簡(jiǎn)明語(yǔ)法規(guī)則
1.2.3 DTD和XML Schema
1.3 BPEL簡(jiǎn)介
1.3.1 BPEL語(yǔ)法
1.3.2 BPEL執(zhí)行引擎
1.4 WS-CDL簡(jiǎn)介
1.4.1 WS-CDL語(yǔ)法規(guī)則
1.4.2 WS-CDL模型
1.5 OWL-S簡(jiǎn)介
1.5.1 OWL-S整體結(jié)構(gòu)
1.5.2 ServiceProfile
1.5.3 ServiceModel
1.5.4 ServiceGrounding
1.6 本章小結(jié)
1.7 參考文獻(xiàn)
第2章 SOA簡(jiǎn)介
2.1 SOA基本思想
2.1.1 SOA基本模型
2.1.2 SOA參考模型分類(lèi)
2.2 SOA相關(guān)技術(shù)
2.2.1 SOAP
2.2.2 WSDL
2.2.3 UDDI
2.3 SOA應(yīng)用綜述
2.3.1 應(yīng)用SOA的原因
2.3.2 經(jīng)典案例
2.4 SOA發(fā)展展望
2.4.1 SOA與云計(jì)算
2.4.2 SOA與虛擬化
2.5 本章小結(jié)
2.6 參考文獻(xiàn)
第3章 基于UML模型的Web服務(wù)組合建模
3.1 UML模型理論
3.2 基于UML模型的BPEL建模
3.2.1 實(shí)例研究
3.2.2 基于擴(kuò)展順序圖的BPEL建模
3.2.3 擴(kuò)展?fàn)顟B(tài)圖
3.2.4 擴(kuò)展?fàn)顟B(tài)圖生成方法
3.2.5 基于擴(kuò)展?fàn)顟B(tài)圖的BPEL建模
3.3 基于UML模型的WS-CDL建模
3.3.1 實(shí)例研究
3.3.2 基于擴(kuò)展構(gòu)件圖的WS-CDL建模
3.3.3 基于擴(kuò)展順序圖的WS-CDL建模
3.3.4 基于擴(kuò)展?fàn)顟B(tài)機(jī)圖的WS-CDL建模
3.3.5 基于類(lèi)圖的WS-CDL建模
3.4 相關(guān)工作
3.5 本章小結(jié)
3.6 參考文獻(xiàn)
第4章 基于Petri網(wǎng)的Web服務(wù)建模
4.1 Petri網(wǎng)簡(jiǎn)介
4.2 單個(gè)Web服務(wù)的Petri網(wǎng)模型
4.3 Web組合服務(wù)的Petri網(wǎng)建模
4.4 Web服務(wù)組合流程的Petri網(wǎng)建模
4.5 ECPN
4.5.1 ECPN的形式化定義
4.5.2 ECPN的動(dòng)態(tài)行為
4.6 EH-CPN
4.6.1 EH-CPN的形式化定義
4.6.2 EH-CPN的特點(diǎn)
4.7 Web組合服務(wù)到EH-CPN的轉(zhuǎn)換
4.7.1 原子過(guò)程的轉(zhuǎn)換
4.7.2 組合過(guò)程的轉(zhuǎn)換
4.8 實(shí)例分析
4.9 本章小結(jié)
4.10 參考文獻(xiàn)
第5章 Web服務(wù)測(cè)試概述
5.1 引言
5.2 Web服務(wù)軟件體系結(jié)構(gòu)
5.3 測(cè)試的視角
5.4 測(cè)試的策略
5.5 國(guó)內(nèi)外研究現(xiàn)狀
5.6 Web服務(wù)測(cè)試的難點(diǎn)
5.7 Web服務(wù)測(cè)試與傳統(tǒng)軟件測(cè)試
5.8 關(guān)注點(diǎn)及待解決的問(wèn)題
5.9 Web服務(wù)測(cè)試研究的主要內(nèi)容
5.10 本章小結(jié)
5.11 參考文獻(xiàn)
第6章 基于交互行為規(guī)約的Web服務(wù)測(cè)試
6.1 引言
6.2 實(shí)例
6.3 序列圖轉(zhuǎn)化為ELTS
6.3.1 序列圖的形式化定義
6.3.2 ELTS的形式化定義
6.3.3 序列圖轉(zhuǎn)化為ELTS
6.4 基于ELTS一致性測(cè)試
6.4.1 ELTS的相關(guān)理論
6.4.2 實(shí)現(xiàn)關(guān)系
6.4.3 與測(cè)試相關(guān)的形式化定義
6.4.4 測(cè)試生成算法
6.4.5 實(shí)例分析
6.5 實(shí)例驗(yàn)證
6.6 本章小結(jié)
6.7 參考文獻(xiàn)
第7章 基于EH-CPN的Web組合服務(wù)測(cè)試
7.1 引言
7.2 擴(kuò)展的層次有色Petri網(wǎng)的數(shù)據(jù)流分析
7.3 測(cè)試用例生成
7.3.1 測(cè)試序列生成
7.3.2 測(cè)試數(shù)據(jù)生成
7.3.3 測(cè)試用例合成
7.4 TWCS設(shè)計(jì)與實(shí)現(xiàn)
7.4.1 TWCS的功能結(jié)構(gòu)
7.4.2 TWCS的可視化
7.5 場(chǎng)景描述和建模
7.6 實(shí)驗(yàn)結(jié)果和結(jié)果分析
7.7 本章小結(jié)
7.8 參考文獻(xiàn)
第8章 Web組合服務(wù)與變異測(cè)試
8.1 OWL-S
8.2 Web服務(wù)工作流模式
8.3 變異測(cè)試
8.4 應(yīng)用于Web服務(wù)領(lǐng)域的變異測(cè)試
8.5 基于變異的Web組合服務(wù)測(cè)試
8.5.1 基本思想
8.5.2 算子設(shè)計(jì)
8.6 代價(jià)分析與改進(jìn)
8.6.1 代價(jià)分析
8.6.2 變異距離
8.6.3 樣本學(xué)習(xí)
8.6.4 測(cè)試用例選擇策略
8.7 實(shí)驗(yàn)
8.7.1 計(jì)算變異距離
8.7.2 實(shí)驗(yàn)結(jié)果比較
8.8 本章小結(jié)
8.9 參考文獻(xiàn)
第9章 Web服務(wù)回歸測(cè)試
9.1 引言
9.2 現(xiàn)狀分析
9.3 服務(wù)的演化與回歸測(cè)試
9.3.1 BPEL組合服務(wù)
9.3.2 服務(wù)的演化
9.3.3 回歸測(cè)試的概念、過(guò)程和技術(shù)
9.4 面向服務(wù)的回歸測(cè)試
9.4.1 測(cè)試的視角
9.4.2 測(cè)試的目的
9.4.3 測(cè)試的層次
9.4.4 變更檢測(cè)
9.4.5 用例選擇技術(shù)
9.5 擴(kuò)展BPEL流圖
9.5.1 擴(kuò)展BPEL流圖
9.5.2 XBFG路徑
9.6 基于XBFG的回歸測(cè)試用例選擇與生成
9.6.1 原理與步驟
9.6.2 回歸測(cè)試的用例選擇與生成
9.6.3 變更覆蓋率分析
9.7 本章小結(jié)
9.8 參考文獻(xiàn)
第10章 RTGenius4BPEL工具與應(yīng)用
10.1 RTGenius4BPEL工具簡(jiǎn)介
10.2 工具設(shè)計(jì)
10.2.1 框架設(shè)計(jì)
10.2.2 操作流程
10.3 工具實(shí)現(xiàn)
10.3.1 開(kāi)發(fā)環(huán)境
10.3.2 組合服務(wù)建模器的實(shí)現(xiàn)
10.3.3 回歸測(cè)試影響分析器的實(shí)現(xiàn)
10.3.4 測(cè)試用例集生成器的實(shí)現(xiàn)
10.3.5 工具的可視化
10.4 案例分析
10.4.1 場(chǎng)景描述
10.4.2 建模
10.4.3 回歸測(cè)試用例選擇與生成
10.5 本章小結(jié)
10.6 參考文獻(xiàn)
第11章 基于UML模型的Web服務(wù)組合靜態(tài)驗(yàn)證
11.1 模型檢驗(yàn)
11.2 Cadence SMV模型檢驗(yàn)工具
11.2.1 SMV語(yǔ)言
11.2.2 SMV屬性規(guī)約
11.2.3 驗(yàn)證方法
11.3 帶數(shù)據(jù)的狀態(tài)機(jī)圖轉(zhuǎn)化為SMV語(yǔ)言
11.3.1 模型轉(zhuǎn)化過(guò)程
11.3.2 SMV代碼生成步驟
11.3.3 驗(yàn)證過(guò)程
11.4 WS-BPEL驗(yàn)證結(jié)果
11.4.1 屬性描述
11.4.2 驗(yàn)證
11.5 WS-CDL驗(yàn)證結(jié)果
11.5.1 屬性表示
11.5.2 WS-CDL驗(yàn)證結(jié)果
11.6 相關(guān)工作
11.6.1 基于自動(dòng)機(jī)的方式
11.6.2 基于進(jìn)程代數(shù)的方式
11.6.3 基于Petri網(wǎng)的方式
11.6.4 典型的Web服務(wù)組合靜態(tài)驗(yàn)證方法比較
11.7 本章小結(jié)
11.8 參考文獻(xiàn)
第12章 并發(fā)屬性驗(yàn)證
12.1 引言
12.2 擴(kuò)展的控制流圖
12.2.1 擴(kuò)展的控制流圖:XCFG
12.2.2 XCFG的組成元素
12.2.3 XCFG的形式化描述
12.3 BPEL對(duì)象模型:BOM
12.4 BOM至XCFG的轉(zhuǎn)化
12.4.1 基本活動(dòng)映射為XCFG元素
12.4.2 結(jié)構(gòu)化活動(dòng)映射為XCFG元素
12.5 實(shí)例分析
12.6 并發(fā)相關(guān)的屬性描述及驗(yàn)證
12.6.1 XCFG的無(wú)死鎖性
12.6.2 XCFG的無(wú)沖突性
12.6.3 XCFG的link無(wú)冗余性
12.7 實(shí)驗(yàn)分析
12.7.1 算法正確性分析
12.7.2 算法執(zhí)行效率的分析
12.8 本章小結(jié)
12.9 參考文獻(xiàn)
第13章 Web服務(wù)運(yùn)行時(shí)監(jiān)控概述
13.1 前言
13.2 Web服務(wù)運(yùn)行時(shí)監(jiān)控技術(shù)和相關(guān)參數(shù)
13.2.1 監(jiān)控的目的
13.2.2 Web服務(wù)組合方式
13.2.3 屬性
13.3 常見(jiàn)Web服務(wù)監(jiān)控方法
13.3.1 SLA Monitoring和Automated SLA Monitoring
13.3.2 Smart Monitoring,Dynamic Monitoring和Robustness Monitoring
13.3.3 Requirement Monitoring,Interaction Monitoring和Monitoring for Diagnosis
13.3.4 Monitoring for Planning和Monitoring of Instances and Classes
13.3.5 Probing and Monitoring
13.3.6 Monitoring for Selection和PLASTIC
13.3.7 商業(yè)工具:Cremona,Colombo和GlassFish
13.4 分析討論
13.5 本章小結(jié)
13.6 參考文獻(xiàn)
第14章 Web服務(wù)組合時(shí)序?qū)傩员O(jiān)控
14.1 PSC
14.1.1 PSC簡(jiǎn)介
14.1.2 PSC形式語(yǔ)法
14.1.3 PSC形式語(yǔ)義
14.2 一種基于PSC的時(shí)序?qū)傩员O(jiān)控方法
14.2.1 基于AOP擴(kuò)展BPEL引擎
14.2.2 屬性表示
14.2.3 觀察器和分析器
14.2.4 實(shí)驗(yàn)分析
14.3 相關(guān)工作
14.4 本章小結(jié)
14.5 參考文獻(xiàn)
第15章 Web服務(wù)組合時(shí)間屬性監(jiān)控
15.1 TPSC
15.1.1 PSC時(shí)間擴(kuò)展
15.1.2 TPSC形式語(yǔ)法
15.1.3 基于時(shí)間自動(dòng)機(jī)的操作語(yǔ)義
15.1.4 TPSC的表達(dá)力
15.2 基于TPSC的Web服務(wù)組合過(guò)程中時(shí)間屬性監(jiān)控
15.2.1 基于AOP擴(kuò)展BPEL引擎
15.2.2 屬性表示
15.2.3 觀察器和分析器
15.2.4 實(shí)驗(yàn)分析
15.3 相關(guān)工作
15.4 本章小結(jié)
15.5 參考文獻(xiàn)
第16章 Web服務(wù)組合概率時(shí)間屬性監(jiān)控
16.1 PTPSC
16.1.1 TPSC概率擴(kuò)展
16.1.2 PTPSC形式語(yǔ)法
16.1.3 PTPSC形式語(yǔ)義
16.1.4 PTPSC表達(dá)力
16.2 基于PTPSC的Web服務(wù)組合概率時(shí)間屬性的監(jiān)控
16.2.1 基于AOP擴(kuò)展BPEL引擎
16.2.2 屬性表示
16.2.3 觀察器和分析器
16.2.4 實(shí)驗(yàn)分析
16.3 相關(guān)工作
16.4 本章小結(jié)
16.5 參考文獻(xiàn)
附錄 縮略詞表
結(jié)束語(yǔ)
新書(shū)資訊