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



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

王先清1, 2，黄昌勤1, 3，罗旋1，聂瑞华1，汤庸1，梅晓勇1

（1. 华南师范大学教育信息技术学院，广东广州 510631； 2. 广东科学技术职业学院艺术设计学院，广东广州 510640；3. 浙江大学电子服务研究中心，浙江杭州310027）

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

云服务；类型理论；会话类型；服务替换

1 引言

在云计算环境下，服务作为一种基本的计算实体在云应用中起着至关重要的作用[1]。在实际的业务应用中，由于云平台及应用的可伸缩性、可移动云服务本身的不确定性，导致服务呈现高度动态性，服务QoS变化甚至服务失效成为云应用面临的严峻挑战[2]；同时，在市场机制激励下云服务数量不断增加、功能演进，服务存在版本更新需求。为了提高云服务应用（尤其是组合云服务）的正确性、及时性和可靠性，服务动态替换成为领域关注的焦点问题之一。……