《组合服务建模、测试与验证》主要介绍在互联网环境下如何对组合服务进行行为建模、组合服务集成测试、回归测试和相关的属性验证。具体内容包括：从三个主要方面，即组合服务的建模理论，组合服务的测试方法和组合服务的属性验证方法，讨论了如何利用形式化规约理论（例如交互行为规约IBS：interactivebehaviorspecification）和可视化建模语言（例如UML2.0）进行组合服务行为建模，如何利用Petri网和标号变迁系统（LTS）进行集成测试和回归测试的测试用例自动化生成，以及如何利用属性序列图进行属性描述和验证等。

第1章&nbsp;web服务概述<br /><br />1．1&nbsp;web服务简介<br /><br />1．1．1&nbsp;Web服务定义<br /><br />1．1．2&nbsp;Web服务技术体系<br /><br />1．2&nbsp;XML简介<br /><br />1．2．1&nbsp;XML的由来与发展<br /><br />1．2．2&nbsp;XML简明语法规则<br /><br />1&nbsp;2．3&nbsp;DTD和XML&nbsp;Schema<br /><br />1．3&nbsp;BPEL简介<br /><br />1．3．1&nbsp;BPEL语法<br /><br />1．3．2&nbsp;BPEI执行引擎<br /><br />1．4&nbsp;WS-CDL简介<br /><br />1．4．1&nbsp;WS-CDL语法规则<br /><br />1．4．2&nbsp;WS-CDI．模型<br /><br />1．5&nbsp;OWL-S简介<br /><br />1．5．1&nbsp;OWL-S整体结构<br /><br />1．5．2&nbsp;ServiceProfile<br /><br />1．5．3&nbsp;ServiceModel<br /><br />1．5．4&nbsp;ServiceGrounding<br /><br />1．6&nbsp;本章小结<br /><br />1．7&nbsp;参考文献<br /><br />第2章&nbsp;SOA简介<br /><br />第3章&nbsp;基于UML模型的Web服务组合建模<br /><br />第4章&nbsp;基于Petri网的Web服务建模<br /><br />第5章&nbsp;web服务测试概述<br /><br />第6章&nbsp;基于交互行为规约的w曲服务测试<br /><br />第7章&nbsp;基于EH-CPN的Web组合服务测试<br /><br />第8章&nbsp;Web组合服务与变异测试<br /><br />第9章&nbsp;Web服务回归测试<br /><br />第10章&nbsp;RTGenius4BPEL工具与应用<br /><br />第11章&nbsp;基于uML模型的web服务组合静态验证<br /><br />第12章&nbsp;并发属性验证<br /><br />第13章&nbsp;web服务运行时监控概述<br /><br />第14毒web服务组合时序属性监控<br /><br />第15章&nbsp;weh服务组合时间属性监控<br /><br />第16章&nbsp;web服务组合概率时间属性监控<br /><br />附录缩略词表<br /><br />结束语