文献类型：期刊文章

作　　者：王先清[1,2] 黄昌勤[1,3] 罗旋[1] 聂瑞华[1] 汤庸[1] 梅晓勇[1]

机构地区：[1]华南师范大学教育信息技术学院,广东广州510631 [2]广东科学技术职业学院艺术设计学院,广东广州510640 [3]浙江大学电子服务研究中心,浙江杭州310027

出　　处：《通信学报》

基　　金：国家自然科学基金资助项目(No.61370229;No.61370178);国家科技支撑计划基金资助项目(No.2013BAH72B01);教育部-中国移动基金资助项目(No.MCM20130651);广东省自然科学基金资助项目(No.S2013010015178);广东省科技计划基金资助项目(No.2014B010103004;No.2014B010117007;No.2015A030401087;No.2015B010110002);广东省教育厅科技创新基金资助项目(No.2012KJCX0037);广州市科技基金资助项目(No.2014Y2-00006)~~

年　　份：2016

卷　　号：37

期　　号：2

起止页码：20-30

语　　种：中文

收录情况：BDHX、BDHX2014、CSA、CSA-PROQEUST、CSCD、CSCD2015_2016、EI(收录号：20161202132431)、IC、INSPEC、JST、RCCSE、SCOPUS、ZGKJHX、核心刊

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

关 键 词：云服务 类型理论  会话类型  服务替换  

分 类 号：TP393]