支持Web服务组合与验证的形式化模型
来源：计算机应用杂志2015年第6期北京时间：
作者：侯金奎, 王磊
单位：潍坊学院 计算机工程学院, 山东 潍坊 261061
摘要：针对Web服务的组合与验证问题,在范畴理论描述框架的基础上,引入进程代数描述服务组件的外部行为,为Web服务系统的架构描述建立了一种形式化的语义模型。Web服务作为范畴理论中的对象节点,服务间的交互和组合关系作为态射,从而以范畴图表的形式来描述服务网络。在形式化定义服务接口、Web服务、服务组合等概念的基础上,进一步分析讨论了服务组合和交互过程中的语义特性,给出了Web服务可替代性和服务请求可满足性的形式化定义。实例研究表明,该框架增强了Web服务架构的语义描述能力。
关键词：Web服务,服务组合,形式化模型,范畴理论,进程代数
基金资助：山东省科技发展计划项目(2011YD01042, 2011YD01043);山东省优秀中青年科学家科研奖励基金资助项目(BS2011DX039);山东省高等学校优秀中青年骨干教师国际合作培养计划项目(2013)。
