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

作     者：王先清 黄昌勤 罗旋 聂瑞华 汤庸 梅晓勇 WANG Xian-qing;HUANG Chang-qin;LUO Xuan;NIE Rui-hua;TANG Yong;MEI Xiao-yong

作者机构：华南师范大学教育信息技术学院广东广州510631 广东科学技术职业学院艺术设计学院广东广州510640 浙江大学电子服务研究中心浙江杭州310027 

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

出 版 物：《通信学报》 (Journal on Communications)

年 卷 期：2016年第37卷第2期

页      码：20-30页

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

主 题 词：云服务 类型理论 会话类型 服务替换 

学科分类：0810[工学-土木类] 1205[管理学-图书情报与档案管理类] 12[管理学] 1201[管理学-管理科学与工程类] 0839[0839] 08[工学] 0811[工学-水利类] 081201[081201] 0812[工学-测绘类] 

核心收录：

D　O　I：10.11959/j.issn.1000-436x.2016026

馆 藏 号：203116672...