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

支持Web服务组合与验证的形式化模型
侯金奎;王磊
【期刊名称】《计算机应用》
【年(卷),期】2015(035)006
【摘要】针对Web服务的组合与验证问题,在范畴理论描述框架的基础上,引入进程代数描述服务组件的外部行为,为Web服务系统的架构描述建立了一种形式化的语义模型.Web服务作为范畴理论中的对象节点,服务间的交互和组合关系作为态射,从而以范畴图表的形式来描述服务网络.在形式化定义服务接口、Web服务、服务组合等概念的基础上,进一步分析讨论了服务组合和交互过程中的语义特性,给出了Web服务可替代性和服务请求可满足性的形式化定义.实例研究表明,该框架增强了Web服务架构的语义描述能力.
【总页数】8页(P1773-1779,1790)
【作者】侯金奎;王磊
【作者单位】潍坊学院计算机工程学院,山东潍坊261061;潍坊学院计算机工程学院,山东潍坊261061
【正文语种】中文
【中图分类】TP311
【相关文献】
1.Web服务组合形式化验证方法研究 [J], 曹利培;孔娟;刘静
2.语义Web服务组合的形式化描述与验证研究 [J], 程永上;王志坚
3.一种Web服务组合形式化模型及验证方法 [J], 周昆;金可音
4.时间约束条件下Web服务组合的形式化分析与验证 [J], 陈志辉;吴敏敏
5.基于符号模型检测的Web服务组合形式化验证 [J], 张世杰;徐鹏;刘沛瑶
因版权原因，仅展示原文概要，查看原文内容请购买。