期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
基于语义扩展类型论的云服务替换性判定研究 被引量:1
1
作者 王先清 黄昌勤 +3 位作者 罗旋 聂瑞华 汤庸 梅晓勇 《通信学报》 EI CSCD 北大核心 2016年第2期20-30,共11页
云计算环境下服务的动态性和易失效性是云应用的重要挑战,服务替换是其主要对策和关键研究问题。在类型论的支持下提出了一种新的云服务替换判定方法,该方法首先对会话类型论进行语义扩展以建模云服务行为,设计了典型云服务QoS类型实现... 云计算环境下服务的动态性和易失效性是云应用的重要挑战,服务替换是其主要对策和关键研究问题。在类型论的支持下提出了一种新的云服务替换判定方法,该方法首先对会话类型论进行语义扩展以建模云服务行为,设计了典型云服务QoS类型实现服务质量判断,然后构造了语义会话类型和QoS类型的各子类型规则,最后以此完成了服务一致性和上下文兼容性命题判定与实施。通过应用判定实例展示和实验效果分析,表明该判定方法可行,并能为组合服务应用带来更高的执行成功率。 展开更多
关键词 云服务 类型理论 会话类型 服务替换
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部