基于语义扩展类型论的云服务替换性判定研究

王先清 黄昌勤 罗 旋 聂瑞华 汤 庸 梅晓勇

云计算环境下服务的动态性和易失效性是云应用的重要挑战，服务替换是其主要对策和关键研究问题。在类型论的支持下提出了一种新的云服务替换判定方法，该方法首先对会话类型论进行语义扩展以建模云服务行为，设计了典型云服务QoS类型实现服务质量判断，然后构造了语义会话类型和QoS类型的各子类型规则，最后以此完成了服务一致性和上下文兼容性命题判定与实施。通过应用判定实例展示和实验效果分析，表明该判定方法可行，并能为组合服务应用带来更高的执行成功率。

基于语义扩展类型论的云服务替换性判定研究