计算机科学 ›› 2015, Vol. 42 ›› Issue (2): 81-85.doi: 10.11896/j.issn.1002-137X.2015.02.017

• 网络与通信 • 上一篇    下一篇

Web服务降级替换的一致性问题及量化研究

吴新星,胡国胜,陈仪香   

  1. 上海电子信息职业技术学院计算机应用系 上海201411,上海电子信息职业技术学院计算机应用系 上海201411,华东师范大学教育部软硬件协同设计技术与应用工程研究中心 上海200062
  • 出版日期:2018-11-14 发布日期:2018-11-14

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

摘要: 在开放的网络环境下,软件系统的可信性受到了更大的挑战,软件系统的降级替换是提高其可信性的方法之一。基于进程代数研究了Web服务的降级替换问题。在原有进程代数的基础上,添加了超时处理算子和延时处理算子,给出了Web服务降级替换一致性条件,从而保证了合成Web服务中降级替换的正确性。进一步地,从量化角度对Web服务的降级替换进行了研究。

关键词: 进程演算(CCS),Web服务,降级替换,量化

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!