《組合服務建模、測試與驗證》是2013年科學出版社出版的圖書,作者是李必信、張鵬程。
基本介紹
- 書名:組合服務建模、測試與驗證
- 作者:李必信、張鵬程
- 出版社:科學出版社
- ISBN:9787030360397
內容簡介,圖書目錄,
內容簡介
該書從組合服務建模、測試和驗證三個方面著手,介紹了與面向Web服務的軟體開發和軟體質量保證相關的理論和方法。全書共16章,主要包括Web服務概述、SOA簡介、基於UML模型的Web服務組合建模、基於Petri網的Web服務建模等內容。
圖書目錄
《信息科學技術學術著作叢書》序
前言
第1章 Web服務概述
第2章 SOA簡介
第3章 基於UML模型的Web服務組合建模
第4章 基於Petri網的Web服務建模
第5章 Web服務測試概述
第6章 基於互動行為規約的Web服務測試
第7章 基於EH-CPN的Web組合服務測試
第8章 Web組合服務與變異測試
第9章 Web服務回歸測試
第10章 RTGenius4BPEL工具與套用
第11章 基於UML模型的Web服務組合靜態驗證
第12章 並發屬性驗證
第13章 Web服務運行時監控概述
第14章 Web服務組合時序屬性監控
第15章 Web服務組合時間屬性監控
第16章 Web服務組合機率時間屬性監控
附錄 縮略詞表
結束語