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

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

doi:10.11959/j.issn.1000-436x.2016026

您当前的位置：

首页 >

文章列表页 >

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

学术论文 | 更新时间：2024-06-05

- 基于语义扩展类型论的云服务替换性判定研究
- Determining substitutability of cloud services supported by semantically extended type theory
- 通信学报 2016年37卷第2期页码：20-31
- 作者机构：
  
  1. 华南师范大学教育信息技术学院，广东广州 510631
  2. 广东科学技术职业学院艺术设计学院，广东广州 510640
  3. 浙江大学电子服务研究中心，浙江杭州310027
- 作者简介：
  
  [ "王先清（1966），男，湖南临澧人，广东科学技术职业学院副教授，主要研究方向为云服务、计算机应用技术、多媒体技术等。" ]
  [ "黄昌勤（1972），男，湖南常德人，华南师范大学教授、博士生导师，主要研究方向为可信云服务、语义智能、大数据技术及其教育应用等。" ]
  [ "罗旋（1990），男，湖南常德人，华南师范大学硕士生，主要研究方向为服务计算、云计算等。" ]
  [ "聂瑞华（1963），男，江西樟树人，华南师范大学教授，主要研究方向为计算机网络及应用、云计算与大数据等。" ]
  [ "汤庸（1964），男，湖南张家界人，华南师范大学教授、博士生导师，主要研究方向为社交网络与大数据应用、时态数据与知识工程、协同计算等。" ]
  [ "梅晓勇（1974），男，湖南常德人，博士，主要研究方向为服务计算、Petri网技术与可信计算等。" ]
- 基金信息：
  
  国家自然科学基金资助项目(61370229);国家自然科学基金资助项目(61370178);国家科技支撑计划基金资助项目(2013BAH72B01);教育部-中国移动基金资助项目(MCM20130651);广东省科技计划基金资助项目(2014B010103004);广东省科技计划基金资助项目(2014B010117007);广东省科技计划基金资助项目(2015A030401087);广东省科技计划基金资助项目(2015B010110002);广东省教育厅科技创新基金资助项目(2012KJCX0037);广州市科技基金资助项目(2014Y2-00006)
- DOI：10.11959/j.issn.1000-436x.2016026
  中图分类号： TP393
- 网络出版日期：2016-02，
  
  纸质出版日期：2016-02-15
- 稿件说明：
移动端阅览
王先清, 黄昌勤, 罗旋, 等. 基于语义扩展类型论的云服务替换性判定研究[J]. 通信学报, 2016,37(2):20-31.

Xian-qing WANG, Chang-qin HUANG, UOXuan LUO, et al. Determining substitutability of cloud services supported by semantically extended type theory[J]. Journal on communications, 2016, 37(2): 20-31.
王先清, 黄昌勤, 罗旋, 等. 基于语义扩展类型论的云服务替换性判定研究[J]. 通信学报, 2016,37(2):20-31. DOI： 10.11959/j.issn.1000-436x.2016026.

Xian-qing WANG, Chang-qin HUANG, UOXuan LUO, et al. Determining substitutability of cloud services supported by semantically extended type theory[J]. Journal on communications, 2016, 37(2): 20-31. DOI： 10.11959/j.issn.1000-436x.2016026.

摘要

云计算环境下服务的动态性和易失效性是云应用的重要挑战，服务替换是其主要对策和关键研究问题。在类型论的支持下提出了一种新的云服务替换判定方法，该方法首先对会话类型论进行语义扩展以建模云服务行为，设计了典型云服务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.

关键词

Keywords

references

TAO F , LAILI Y , XU L , et al . FC-PACO-RM: a parallel method for service composition optimal-selection in cloud manufacturing system [J ] . IEEE Tran on Industrial Informatics , 2013 , 9 ( 4 ): 2023 - 2033 .

AMIN J , ELANKOVAN S , ZALINDA O . Cloud computing service composition: a systematic literature review [J ] . Expert System with Applications , 2014 , 41 ( 8 ): 3809 - 3824 .

吴健 , 吴朝晖 , 李莹等 . 基于本体论和词汇语义相似度的Web服务发现 [J ] . 计算机学报 , 2005 , 28 ( 4 ): 595 - 602 .

WU J , WU Z H , LI Y , et al . Web service discovery based on ontology and similarity of words [J ] . Chinese Journal of Computers , 2005 , 28 ( 4 ): 595 - 602 .

JUAN C V , MANUEL L , ALBERTO B . Toward the use of petri nets for the formalization of OWL-S choreographies [J ] . Knowledge and Information Systems , 2012 , 32 ( 3 ): 629 - 665 .

常亮 , 史忠植 , 陈立民 , 等 . 一类扩展的动态描述逻辑 [J ] . 软件学报 , 2010 , 21 ( 1 ): 1 - 13 .

CHANG L , SHI Z Z , CHEN L M , et al . Family of extended dynamic description logics [J ] . Journal of Software , 2010 , 21 ( 1 ): 1 - 13 .

廖军 , 谭浩 , 刘锦德 . 基于Pi-演算的Web服务组合的描述和验证 [J ] . 计算机学报 , 2005 , 28 ( 4 ): 635 - 643 .

LIAO J , TAN H , LIU J D . Describing and verifying Web service using Pi-calculus [J ] . Chinese Journal of Computers , 2005 , 28 ( 4 ): 635 - 643 .

HE K , WANG J , LIANG P . Semantic interoperability aggregation in service requirements refinement [J ] . Journal of Computer Science and Technology , 2010 , 25 ( 6 ): 1103 - 1117 .

印莹 , 张斌 , 张锡哲 . 面向组合服务动态自适应的事务级主动伺机服务替换算法 [J ] . 计算机学报 , 2010 , 33 ( 11 ): 2147 - 2162 .

YIN Y , ZHANG B , ZHANG X Z . An active and opportunistic service replacement algorithm orienting transactional composite service dynamic adaptation [J ] . Chinese Journal of Computers , 2010 , 33 ( 11 ): 2147 - 2162 .

王海艳 , 李思瑞 . 基于组合上下文的服务替换方法 [J ] . 通信学报 , 2014 , 35 ( 9 ): 57 - 67 .

WANG H Y , LI S R . Service substitution method based on composition context [J ] . Journal on Communications , 2014 , 35 ( 9 ): 57 - 67 .

KUANG L , XIA Y , DENG S , et al . Analyzing behavioral substitution of Web services based on p-Calculus [C ] // 2010 IEEE International Conference on Web Services . Florida, USA , c2010 : 441 - 448 .

BOUROUZ S , ZEGHIB N . Verifying Web services substitutability using open colored nets reduction techniques [C ] // The 5th International Conference on Modeling, Simulation and Applied Optimization . Hammamet, Tunisia , c2013 : 1 - 5 .

刘方方 , 史玉良 , 张亮等 . 基于进程代数的Web服务合成的替换分析 [J ] . 计算机学报 , 2007 , 30 ( 11 ): 2033 - 2039 .

LIU F F , SHI Y L , ZHANG L , et al . Substitution analysis of web service composition via process algebra [J ] . Chinese Journal of Computers , 2007 , 30 ( 11 ): 2033 - 2039 .

REN H , LIU J . Service substitutability analysis based n behavior automata [J ] . Innovations in Systems and Software Engineering , 2012 , 8 ( 4 ): 301 - 308 .

YIN Y , YIN J , LI Y , et al . Verifying consistency of web services behavior using type theory [C ] // 2008 IEEE Aisa-Pacific Services Computing Conference . Yilan, China , c2008 : 1560 - 1566 .

YIN Y , DENG S . Analysing and determining substitutabil ty of different granularity Web services [J ] . International Journal of Computer Mathematics , 2013 , 90 ( 11 ): 2201 - 2220 .

殷昱煜 , 李莹 , 邓水光 , 等 . Web服务行为一致性与相容性判定 [J ] . 电子学报 , 2009 , 37 ( 3 ): 433 - 439 .

YIN Y Y , LI Y , DENG S G , et al . Determining on consistency and compatibility of Web services behavior [J ] . Acta Electronica Sinica , 2009 , 37 ( 3 ): 433 - 439 .

ANTONIO V , VASCO T , V, ANTONIO R . Typing the behavior of software components using session types [J ] . Fundamenta Information , 2006 , 73 ( 4 ): 583 - 598 .

PIERRE-MALO D , NOBUKO Y , ANDI B , et al . Parameterised multiparty session types [J ] . Logic Method in Computer Science , 2012 , 8 ( 4 : 6 ): 1 - 46 .

DAPOIGNY R , BARLATIER P . Towards a conceptual structure based on type theory [C ] // The Int’l Conference on Computational Science . Krakow, Poland , c2008 : 1 - 8 .

浏览量

938

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

基于Wi-Fi指纹且计算外包的室内定位隐私保护方案

矿山微功耗安全监测物联网系统的研究与应用

面向SaaS云平台的安全漏洞评分方法研究

带准备时间和截止期约束的云服务工作流调度算法

基于组合上下文的服务替换方法