首页|期刊导航|通信学报|基于语义扩展类型论的云服务替换性判定研究

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

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

通信学报2016，Vol.37Issue(2)：20-30,11.

通信学报2016，Vol.37Issue(2)：20-30,11.DOI:10.11959/j.issn.1000-436x.2016026

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

Determining substitutability of cloud services supported by semantically extended type theory

王先清 ¹黄昌勤 ²罗旋 ¹聂瑞华 ³汤庸 ¹梅晓勇¹

作者信息

1. 华南师范大学教育信息技术学院,广东广州510631
2. 广东科学技术职业学院艺术设计学院,广东广州510640
3. 浙江大学电子服务研究中心,浙江杭州310027
折叠

摘要

关键词

云服务/类型理论/会话类型/服务替换

Key words

cloud service/type theory/session types/service substitution

分类

信息技术与安全科学

引用本文复制引用

王先清,黄昌勤,罗旋,聂瑞华,汤庸,梅晓勇..基于语义扩展类型论的云服务替换性判定研究[J].通信学报,2016,37(2):20-30,11.

基金项目

国家自然科学基金资助项目(No.61370229,No.61370178) （No.61370229,No.61370178）

国家科技支撑计划基金资助项目(No.2013BAH72B01) （No.2013BAH72B01）

教育部-中国移动基金资助项目(No.MCM20130651) （No.MCM20130651）

广东省自然科学基金资助项目(No.S2013010015178) （No.S2013010015178）

广东省科技计划基金资助项目(No.2014B010103004,No.2014B010117007,No.2015A030401087,No.2015B010110002) （No.2014B010103004,No.2014B010117007,No.2015A030401087,No.2015B010110002）

广东省教育厅科技创新基金资助项目(No.2012KJCX0037) （No.2012KJCX0037）

广州市科技基金资助项目(No.2014Y2-00006)The National Natural Science Foundation of China (No.61370229,No.61370178),The National Key Technology R&D Program of China(No.2013BAH72B01),The MOE-CMCC Research Fund(No.MCM20130651),The Natural Science Foundation of Guangdong Province (No.S2013010015178),The S&T Projects of Guangdong Province (No.2014B010103004,No.2014B010117007,No.2015A030401087,No.2015B010110002),The S&T Project of DEGP (No.2012KJCX0037),The S&T Project of Guangzhou Municipality (No.2014Y2-00006) （No.2014Y2-00006）

通信学报

OA北大核心CSCDCSTPCD

ISSN：1000-436X

访问量4

下载量0

段落导航