基本介紹
- 中文名：服務計算套用開發技術
- 作者：王紅兵
- 出版社：機械工業出版社
- 出版時間：2009年09月
- 定價：31 元
- 開本：16 開
- ISBN：9787111280415
內容簡介,圖書目錄,
內容簡介
《服務計算套用開發技術》在講述服務組合時，引入了動作時序邏輯（TLA）的概念，提出了用TLA形式化描述、組合及驗證Web服務的思想，並對Web服務描述語言（WSDL）進行了動態擴展，給出了從WSDL到TLA規範的轉換算法和具體的實現，並使用TLA的模型檢驗器TLC對組合服務流程進行驗證，以保證系統的安全性、活性與公甲性。《服務計算套用開發技術》面向初學者，為讀者了解服務組合提供了捷徑，可作為高等院校計算機專業本科生和研究生的教材，也可作為相關專業的技術人員了解服務組合的參考書。
圖書目錄
出版說明
前言
第1章 概論
1.1 服務計算
1.2 服務組合的動機
1.3 服務組合的挑戰
1.3.1 描述邏輯
1.3.2 線性邏輯
1.3.3 人工智慧規劃
1.4 進程代數
1.5 約束滿足問題
1.6 Petri網
1.7 有限狀態自動機和模型檢驗
1.8 存在的問題
1.9 思考題
……
