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

提示:百度云已更名为百度网盘(百度盘),天翼云盘、微盘下载地址……暂未提供。