組合服務建模、測試與驗證

《組合服務建模、測試與驗證》是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服務組合機率時間屬性監控

附錄 縮略詞表

結束語