亚洲福利电影一区二区,亚洲全高清久久久久

內(nèi)容簡介

　　《組合服務建模測試與驗證》從組合服務建模、測試和驗證三個方面著手，系統(tǒng)全面地介紹了與面向web服務的軟件開發(fā)和軟件質(zhì)量保證相關(guān)的技術(shù)理論和方法。全書共16章，其中第1、2章重點介紹了與web服務相關(guān)的基礎(chǔ)知識，包括基本概念、基本術(shù)語以及基本原理；第3、4章重點介紹了web服務的建模技術(shù)，包括uML建模和有色Petri網(wǎng)建模；第5～10章重點介紹了各種類型的web服務測試技術(shù)和方法，包括單元測試、集成測試、回歸測試、變異測試和測試用例生成等；第11～16章重點介紹組合web服務的靜態(tài)驗證和動態(tài)監(jiān)控等技術(shù)。李必信等編著的《組合服務建模測試與驗證》適用于軟件工程學科專業(yè)的教師、研究生和高年級本科生，以及從事面向服務軟件開發(fā)和質(zhì)量管理的工程技術(shù)人員。

作者簡介

暫缺《組合服務建模、測試與驗證》作者簡介

圖書目錄

第1章 web服務概述 1．1 web服務簡介 1．1．1 Web服務定義 1．1．2 Web服務技術(shù)體系 1．2 XML簡介 1．2．1 XML的由來與發(fā)展 1．2．2 XML簡明語法規(guī)則 1 2．3 DTD和XML Schema 1．3 BPEL簡介 1．3．1 BPEL語法 1．3．2 BPEI執(zhí)行引擎 1．4 WS-CDL簡介 1．4．1 WS-CDL語法規(guī)則 1．4．2 WS-CDI．模型 1．5 OWL-S簡介 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 參考文獻第2章 SOA簡介第3章基于UML模型的Web服務組合建模第4章基于Petri網(wǎng)的Web服務建模第5章 web服務測試概述第6章基于交互行為規(guī)約的w曲服務測試第7章基于EH-CPN的Web組合服務測試第8章 Web組合服務與變異測試第9章 Web服務回歸測試第10章 RTGenius4BPEL工具與應用第11章基于uML模型的web服務組合靜態(tài)驗證第12章并發(fā)屬性驗證第13章 web服務運行時監(jiān)控概述第14毒web服務組合時序?qū)傩员O(jiān)控第15章 weh服務組合時間屬性監(jiān)控第16章 web服務組合概率時間屬性監(jiān)控附錄縮略詞表結(jié)束語