-
题名基于语义扩展类型论的云服务替换性判定研究
被引量:1
- 1
-
-
作者
王先清
黄昌勤
罗旋
聂瑞华
汤庸
梅晓勇
-
机构
华南师范大学教育信息技术学院
广东科学技术职业学院艺术设计学院
浙江大学电子服务研究中心
-
出处
《通信学报》
EI
CSCD
北大核心
2016年第2期20-30,共11页
-
基金
国家自然科学基金资助项目(No.61370229
No.61370178)
+8 种基金
国家科技支撑计划基金资助项目(No.2013BAH72B01)
教育部-中国移动基金资助项目(No.MCM20130651)
广东省自然科学基金资助项目(No.S2013010015178)
广东省科技计划基金资助项目(No.2014B010103004
No.2014B010117007
No.2015A030401087
No.2015B010110002)
广东省教育厅科技创新基金资助项目(No.2012KJCX0037)
广州市科技基金资助项目(No.2014Y2-00006)~~
-
文摘
云计算环境下服务的动态性和易失效性是云应用的重要挑战,服务替换是其主要对策和关键研究问题。在类型论的支持下提出了一种新的云服务替换判定方法,该方法首先对会话类型论进行语义扩展以建模云服务行为,设计了典型云服务QoS类型实现服务质量判断,然后构造了语义会话类型和QoS类型的各子类型规则,最后以此完成了服务一致性和上下文兼容性命题判定与实施。通过应用判定实例展示和实验效果分析,表明该判定方法可行,并能为组合服务应用带来更高的执行成功率。
-
关键词
云服务
类型理论
会话类型
服务替换
-
Keywords
cloud service, type theory, session types, service substitution
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-