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

摘要：

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

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

所属期刊栏目：37

分类号：TP393(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目61370229,61370178;国家科技支撑计划基金资助项目2013BAH72B01;教育部-中国移动基金资助项目MCM20130651;广东省自然科学基金资助项目S2013010015178;广东省科技计划基金资助项目2014B010103004,2014B010117007,2015A030401087,2015B010110002;广东省教育厅科技创新基金资助项目2012KJCX0037;广州市科技基金资助项目No.2014Y2-00006The National Natural Science Foundation of China61370229,61370178;The National Key Technology R&D Program of China2013BAH72B01;The MOE-CMCC Research FundMCM20130651;The Natural Science Foundation of Guangdong ProvinceS2013010015178;The S&T Projects of Guangdong Province2014B010103004,2014B010117007,2015A030401087,2015B010110002;The S&T Project of DEGP2012KJCX0037;The S&T Project of Guangzhou Municipality2014Y2-00006

在线出版日期：2016-05-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共11页

页码：20-30