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

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

Abstract

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

Xian-qing WANG,Chang-qin HUANG,UOXuan LUO,Rui-hua NIE,Yong TANG,Xiao-yong MEI. Determining substitutability of cloud services supported by semantically extended type theory[J]. Journal on Communications, 2016, 37(2): 20-31.

Figures/Tables 6

规则名	规则体
End-S	$Γ ⊳ e n d ＜ : e n d$
Reception-S	$\begin{array}{l} Γ ⊳ m s g_{t} ＜ : m s g_{s} \\ \frac{Γ ⊳ T ＜ : S}{Γ ⊳ ? 〈 m s g_{t} 〉; T ＜ : ? 〈 m s g_{s} 〉; S} \end{array}$
Sending-S	$\frac{Γ ⊳ T ＜ : S}{Γ ⊳! 〈 m s g_{t} 〉; T ＜ :! 〈 m s g_{s} 〉; S}$
Branching-S	$\frac{\forall k \in K \subseteq J Γ ⊳ o p_{k} ＜ : o p_{j}, T_{k} ＜ : S_{j}}{Γ ⊳ ＆ {{〈 o p_{k} : T_{k} 〉}_{k \in K}} ＜ : ＆ {{〈 o p_{j} : s_{j} 〉}_{j \in J}}}$
Selection-S	$\frac{\forall j \in j \subseteq K Γ ⊳ o p_{j} ＜ : o p_{k}, T_{k} ＜ : S_{j}}{Γ ⊳ + {{〈 o p_{k} : T_{k} 〉}_{k \in K}} ＜ : + {{〈 o p_{j} : s_{j} 〉}_{j \in J}}}$
Recursion-S	$\frac{Γ ⊳ T {\frac{m x . T}{x}} ＜ : S Γ ⊳ S ＜ : T {\frac{m x . T}{x}}}{Γ ⊳ m x . T ＜ : S Γ ⊳ S ＜ : m x . T}$

References 19

[1]	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.
[2]	AMIN J , ELANKOVAN S , ZALINDA O . Cloud computing service composition: a systematic literature review[J]. Expert System with Applications, 2014, 41(8): 3809-3824.
[3]	吴健, 吴朝晖, 李莹等. 基于本体论和词汇语义相似度的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.
[4]	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.
[5]	常亮, 史忠植, 陈立民 , 等. 一类扩展的动态描述逻辑[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.
[6]	廖军, 谭浩, 刘锦德 . 基于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.
[7]	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.
[8]	印莹, 张斌, 张锡哲 . 面向组合服务动态自适应的事务级主动伺机服务替换算法[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.
[9]	王海艳, 李思瑞 . 基于组合上下文的服务替换方法[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.
[10]	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.
[11]	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.
[12]	刘方方, 史玉良, 张亮等. 基于进程代数的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.
[13]	REN H , LIU J . Service substitutability analysis based n behavior automata[J]. Innovations in Systems and Software Engineering, 2012, 8(4): 301-308.
[14]	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.
[15]	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.
[16]	殷昱煜, 李莹, 邓水光 , 等. 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.
[17]	ANTONIO V , VASCO T , V, ANTONIO R . Typing the behavior of software components using session types[J]. Fundamenta Information, 2006, 73(4): 583-598.
[18]	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.
[19]	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.

Metrics

Recommended 0

No Suggested Reading articles found!

Determining substitutability of cloud services supported by semantically extended type theory

RichHTML

PDF

Knowledge

Abstract

Cite this article

share this article

Figures/Tables 6

References 19

Related Articles 7

Metrics

Recommended 0

[1]	Liming PU,Shuxin LIU,Ruihao DING,Kai WANG. Heterogeneous executor scheduling algorithm for mimic cloud service [J]. Journal on Communications, 2020, 41(3): 17-24.
[2]	Da ZHANG,Jinong WANG,Hu JI,Hao JI,Yunfeng ZHAO. Research and application of micropower safety monitoring IoT system for mine [J]. Journal on Communications, 2020, 41(2): 44-57.
[3]	Shunfu JIN, Haixing WU, Tiantian HUO, Wenjuan ZHAO. On the performance optimization for the cloud architecture with sleep-mode and registration service [J]. Journal on Communications, 2019, 40(10): 127-136.
[4]	Zhou LI,Cong TANG,Jian-bin HU,Zhong CHEN. Vulnerabilities scoring approach for cloud SaaS [J]. Journal on Communications, 2016, 37(8): 157-166.
[5]	Hong SHEN,Xiao-ping LI. Algorithm for the cloud service workflow scheduling with setup time and deadline constraints [J]. Journal on Communications, 2015, 36(6): 183-192.
[6]	Hai-yan WANG,Si-rui LI. Service substitution method based on composition context [J]. Journal on Communications, 2014, 35(9): 57-66.
[7]	Zhen-dong WU,Dian-xi SHI,Bo DING,Huai-min WANG. Research in mobile cloud service framework based on contexts integrated situation [J]. Journal on Communications, 2011, 32(9A): 96-101.