Computer Science ›› 2015, Vol. 42 ›› Issue (2): 81-85.doi: 10.11896/j.issn.1002-137X.2015.02.017

Previous Articles     Next Articles

Quantification and Conformance of Web Service Degraded Substitution

WU Xin-xing, HU Guo-sheng and CHEN Yi-xiang   

  • Online:2018-11-14 Published:2018-11-14

Abstract: Software trustworthiness is facing greater challenges in open network environment,and one of approaches to improve the trustworthiness of software is degraded substitution.This paper mainly studied the Web service degraded substitution based on process algebra.In order to ensure the validity of Web service degraded substitution,a confor-mance condition was given based on the modified process algebra by introducing the time-out operator and the time-delay operator.Further,it studied the metric of Web service degraded substitution.

Key words: Calculus of communication system(CCS),Web service,Degraded substitution,Quantification

[1] 刘克,单志广,王戟,等.“可信软件基础研究”重大研究计划综述[J].中国科学基金,2008(3):145-151
[2] Knight J C,Strunk E A,Sullivan K J.Towards a Rigorous Definition of Information System Survivability[C]∥3rd DARPA Information Survivability Conference and Exposition(DISCEX 2003).2003,1:78-89
[3] 余智华,林思明,陈海强.网络安全——可生存性研究及网络建模[J].信息技术快报,2005,3(12):11-23
[4] Nagappan R,Skoczylas R,Sriganesh R P.Developing Java Web Services[M].Wiley,2002
[5] Dumas M,Yang Y,Zhang L.Improving Web Service Survivabi-lity Via Gracefully Degraded Substitution[C]∥2010 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology.Toronto,Ontario Canada,2010:597-600
[6] Liu F F,Shi Y S,Zhang L,et al.Analysis of Web Services Composition and Substitution Via CCS[C]∥Proceedings of the DEECS'06.San Francisco,CA,USA,Springer-Verlag,Lecture Notes in Computer Science,2006,4055:236-245
[7] Bourouz S,Zeghib N.Verifying Web services substitute abilityusing open colored nets reduction techniques[C]∥2013 5th International Conference on Modeling,Simulation and Applied Optimization (ICMSAO).IEEE,2013:1-5
[8] 郭峰,魏光.基于Petri网的Web服务描述及其可替换性分析[J].计算机集成制造系统,2013,19(6):1423-1432
[9] Nakajima S.Safe Substitution of Components in Self-adaptive Web Applications[C]∥2013 20th Asia-Pacific Software Engineering Conference (APSEC).IEEE,2013,1:388-395
[10] 宋仲凯,张晓容,殷昱煜.QoS 驱动的服务动态替换方法[J].计算机应用与软件,2012,29(1):27-30
[11] 刘方方,史玉良,张亮,等.基于进程代数的Web服务合成的替换分析[J].计算机学报,2007,30(11):2033-2039
[12] 史玉良,王海洋,张亮,等.Web 服务合成的相容性和替换性分析[J].计算机研究与发展,2007,44(11):1955-1961
[13] 刘莹,张一川,张斌,等.基于行为效果的服务可替换性分析[J].计算机研究与发展,2010,47(8):1442-1449
[14] W3C Working Group.Web Services Choreography Interface(WSCI) 1.0 [Z].World Wide Web Consortium,W3C Note 8 Aug.2002.URL.http://www.w3.org/TR/wsci
[15] Brogi A,Canal C,Pimentel E,et al.Formalizing Web Services Choreographies[J].Electronic Notes in Theoretical Computer Science,2004,105:73-94

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!