%0 Journal Article
%T 支持web服务组合与验证的形式化模型
%A 侯金奎
%A 王磊
%J 计算机应用
%D 2015
%X ？针对web服务的组合与验证问题,在范畴理论描述框架的基础上,引入进程代数描述服务组件的外部行为,为web服务系统的架构描述建立了一种形式化的语义模型。web服务作为范畴理论中的对象节点,服务间的交互和组合关系作为态射,从而以范畴图表的形式来描述服务网络。在形式化定义服务接口、web服务、服务组合等概念的基础上,进一步分析讨论了服务组合和交互过程中的语义特性,给出了web服务可替代性和服务请求可满足性的形式化定义。实例研究表明,该框架增强了web服务架构的语义描述能力。
%K web服务
%K 服务组合
%K 形式化模型
%K 范畴理论
%K 进程代数
%U http://www.joca.cn/CN/abstract/abstract18271.shtml