通信学报 ›› 2016, Vol. 37 ›› Issue (2): 20-31.doi: 10.11959/j.issn.1000-436x.2016026

• 学术论文 • 上一篇    下一篇

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

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

  1. 1 华南师范大学教育信息技术学院,广东 广州 510631
    2 广东科学技术职业学院艺术设计学院,广东 广州 510640
    3 浙江大学电子服务研究中心,浙江 杭州310027
  • 出版日期:2016-02-26 发布日期:2016-02-26
  • 基金资助:
    国家自然科学基金资助项目;国家自然科学基金资助项目;国家科技支撑计划基金资助项目;教育部-中国移动基金资助项目;广东省自然科学基金资助项目;广东省科技计划基金资助项目;广东省科技计划基金资助项目;广东省科技计划基金资助项目;广东省科技计划基金资助项目;广东省教育厅科技创新基金资助项目;广州市科技基金资助项目

Determining substitutability of cloud services supported by semantically extended type theory

Xian-qing WANG1,2,Chang-qin HUANG1,3,UOXuan LUO1,Rui-hua NIE1,Yong TANG1,Xiao-yong MEI1   

  1. 1 School of Information & Technology in Education, South China Normal University, Guangzhou 510631, China
    2 School of Art & Design, GuangdongInstitute of Science & Technology, Guangzhou 510640, China
    3 E-Service Research Center, Zhejiang University, Hangzhou 310027, China
  • Online:2016-02-26 Published:2016-02-26
  • Supported by:
    The National Natural Science Foundation of China;The National Natural Science Foundation of China;The National Key Technology R&D Program of China;The MOE-CMCC Research Fund;The S&T Projects of Guangdong Province;The S&T Projects of Guangdong Province;The S&T Projects of Guangdong Province;The S&T Projects of Guangdong Province;The S&T Project of DEGP;The S&T Project of Guangzhou Municipality

摘要:

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

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

Abstract:

In cloud environments, the high dynamics and more service failures were great obstacles to cloud applications, service substitution was a key research issue and also was a main solution to these challenges. A method of determining substitutability of cloud services was proposed using type theory, in which session types were semantically extended for modeling the behaviors of cloud service, QoS such as price, reliabil ty were introduced as QoS type, and a series of subtyping rules were constructed for SST and QoST. After that, determining consistency and context compatibility of services were put into practice. The method was proved feasibly by a case determining, and the experimental results show that it brings higher success rate of execution.

Key words: cloud service, type theory, session types, service substitution

No Suggested Reading articles found!