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

发布时间：2017-10-11 19:34

  本文关键词：基于语义扩展类型论的云服务替换性判定研究

  更多相关文章： 云服务 类型理论 会话类型 服务替换

【摘要】：云计算环境下服务的动态性和易失效性是云应用的重要挑战,服务替换是其主要对策和关键研究问题。在类型论的支持下提出了一种新的云服务替换判定方法,该方法首先对会话类型论进行语义扩展以建模云服务行为,设计了典型云服务QoS类型实现服务质量判断,然后构造了语义会话类型和QoS类型的各子类型规则,最后以此完成了服务一致性和上下文兼容性命题判定与实施。通过应用判定实例展示和实验效果分析,表明该判定方法可行,并能为组合服务应用带来更高的执行成功率。
【作者单位】： 华南师范大学教育信息技术学院;广东科学技术职业学院艺术设计学院;浙江大学电子服务研究中心;
【关键词】： 云服务 类型理论 会话类型 服务替换
【基金】：国家自然科学基金资助项目(No.61370229,No.61370178) 国家科技支撑计划基金资助项目(No.2013BAH72B01) 教育部-中国移动基金资助项目(No.MCM20130651) 广东省自然科学基金资助项目(No.S2013010015178) 广东省科技计划基金资助项目(No.2014B010103004,No.2014B010117007,No.2015A030401087,No.2015B010110002) 广东省教育厅科技创新基金资助项目(No.2012KJCX0037) 广州市科技基金资助项目(No.2014Y2-00006)~~
【分类号】：TP393.09
【正文快照】： 1引言在云计算环境下,服务作为一种基本的计算实体在云应用中起着至关重要的作用[1]。在实际的业务应用中,由于云平台及应用的可伸缩性、可移动云服务本身的不确定性,导致服务呈现高度动态Foundation Items:The National Natural Science Foundation of China(No.61370229,No.，

本文编号：1014361