Determining substitutability of cloud services supported by semantically extended type theory

Xian-qing WANG; Chang-qin HUANG; UOXuan LUO; Rui-hua NIE; Yong TANG; Xiao-yong MEI

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

您当前的位置：

首页 >

文章列表页 >

Determining substitutability of cloud services supported by semantically extended type theory

academic paper | 更新时间：2024-06-05

- Determining substitutability of cloud services supported by semantically extended type theory
- Journal on Communications Vol. 37, Issue 2, Pages: 20-31(2016)
- 作者机构：
  
  1. 华南师范大学教育信息技术学院，广东广州 510631
  2. 广东科学技术职业学院艺术设计学院，广东广州 510640
  3. 浙江大学电子服务研究中心，浙江杭州310027
- 作者简介：
- 基金信息：
  
  The National Natural Science Foundation of China(61370229);The National Natural Science Foundation of China(61370178);The National Key Technology R＆D Program of China(2013BAH72B01);The MOE-CMCC Research Fund(MCM20130651);The S＆T Projects of Guangdong Province(2014B010103004);The S＆T Projects of Guangdong Province(2014B010117007);The S＆T Projects of Guangdong Province(2015A030401087);The S＆T Projects of Guangdong Province(2015B010110002);The Science-Technology Project of DEGP(2012KJCX0037);The S＆T Project of Guangzhou Municipality(2014Y2-00006)
- DOI：10.11959/j.issn.1000-436x.2016026
  CLC： TP393
- Online First：2016-02，
  
  Published：15 February 2016
- 稿件说明：
移动端阅览
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：

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 .

Views

1330

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Privacy-preserving indoor localization scheme based on Wi-Fi fingerprint with outsourced computing

Research and application of micropower safety monitoring IoT system for mine

Vulnerabilities scoring approach for cloud SaaS

Algorithm for the cloud service workflow scheduling with setup time and deadline constraints

Service substitution method based on composition context

Related Author

Sirui ZHANG

Qiuxia ZHAO

Xiaokun ZHENG

Jin CAO

Yinghui ZHANG

Yunfeng ZHAO

Hao JI

Hu JI

Related Institution

School of Cyberspace Security, Xi’an University of Posts ＆Telecommunications

The College of Computer, Qinghai Normal University

School of Cyber Engineering, Xidian University

BGRIMM Technology Group

Beijing General Research Institute of Mining and Metallurgy Technology

AI问答

⁰