Web服务组合模型的研究

针对Web服务组合问题,提出一种基于先进先出通信通道的Web服务组合模型,支持Web服务的层次性组合。给出了该模型的形式化定义及Web服务描述语言与该模型的对应关系。介绍了用于建模Web服务行为的Pi-演算语言的基本语法及操作语义。通过一个旅游路线预定服务研究了Web服务组合模型的实际应用。     

《软件建模技术》课程在Web服务组合中的应用探索

在Web服务互操作技术的基础上,提供高层的Web服务集成手段、实现Web服务组合成为Web服务技术发展的自然需求。Web服务(Web Services)是当前实现面向服务的体系结构最有前景的技术。Web服务技术的广泛应用使得Web服务正逐步成为Internet网络环境中资源封装的标准形式。随着部署在Internet上的Web服务不断丰富,这些可被公共访问和集成的服务构成了一个潜在的巨大标准组件库。本文探讨了在《软件建模技术》课程中所介绍的语法方法、语义方法、UML方法和形式化方法在Web服务组合建模中的应用情况。