本书根据Web服务组合的生命周期, 展开语义Web服务组合关键技术研究, 重点在: Web服务和Web服务组合的形式化模型, Web服务自动组合的推理算法, Web服务组合的正确性验证, Web服务组合的异常处理等四个方面进行了有效的探索与尝试, 使用Petri网形式化技术提出了具体的解决方法, 同时开发了一个基于颜色Petri网的Web服务组合原型系统CPN4WSC。