支持web服务组合与验证的形式化模型

？针对web服务的组合与验证问题,在范畴理论描述框架的基础上,引入进程代数描述服务组件的外部行为,为web服务系统的架构描述建立了一种形式化的语义模型。web服务作为范畴理论中的对象节点,服务间的交互和组合关系作为态射,从而以范畴图表的形式来描述服务网络。在形式化定义服务接口、web服务、服务组合等概念的基础上,进一步分析讨论了服务组合和交互过程中的语义特性,给出了web服务可替代性和服务请求可满足性的形式化定义。实例研究表明,该框架增强了web服务架构的语义描述能力。