计算机科学 ›› 2015, Vol. 42 ›› Issue (2): 81-85.doi: 10.11896/j.issn.1002-137X.2015.02.017
吴新星,胡国胜,陈仪香
WU Xin-xing, HU Guo-sheng and CHEN Yi-xiang
摘要: 在开放的网络环境下,软件系统的可信性受到了更大的挑战,软件系统的降级替换是提高其可信性的方法之一。基于进程代数研究了Web服务的降级替换问题。在原有进程代数的基础上,添加了超时处理算子和延时处理算子,给出了Web服务降级替换一致性条件,从而保证了合成Web服务中降级替换的正确性。进一步地,从量化角度对Web服务的降级替换进行了研究。
[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! |
|