语义Web服务组合若干关键技术研究

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