微信服务号

微信订阅号

2025年8月22日 3:16 星期五
首页 > 过刊浏览>2010年第21卷第2期 >231-247
PDF HTML阅读 XML下载 导出引用 引用提醒
基于Petri网的服务组合故障诊断与处理
作者:
基金项目:

Supported by the National Natural Science Foundation of China under Grant Nos.60473055, 60773094 (国家自然科学基金); the National Key Technology R&D Program of China under Grant No.009BAH46B03 (国家科技支撑计划); the Shanghai Shuguang Program of China under Grant No.07SG32 (上海市曙光计划); the Fund of Key Laboratory of Shanghai Science and Technology of China under Grant No.09DZ2272600 (上海市科委重点实验室基金); the Open Research Foundation of Shanghai Institute of Technology of China under Grant No.YJ2009-17 (上海应用技术学院引进人才科研启动项目)

  • 摘要
    • | |
  • 访问统计
    • |
  • 参考文献 [20]
    • |
  • 相似文献 [20]
    • |
  • 引证文献
    • | |
  • 文章评论
    摘要:

    通过分析服务组合的故障需求,给出服务组合故障处理的框架.该框架采用Petri网来解决服务组合的错误发现及其处理问题.重点讨论了可用服务失败、组件失败及网络故障的情况,并相应地给出了服务组合故障模型.在此基础上对故障处理模型进行分析,给出服务组合故障处理正确性准则,并证明了其正确性.最后,采用CTL (computational tree logic)描述相关性质并提出验证服务组合故障分析的实施算法.仿真结果表明,该方法在处理服务组合故障时具有一定的优越性.

    Abstract:

    In this paper, a framework is proposed for handling fault of service composition through analyzing fault requirements. Petri nets are used in the framework for fault detecting and its handling, which focuses on targeting the failure of available services, component failure and network failure. The corresponding fault models are given. Based on the model, the correctness criterion of fault handling is given to analyze fault handling model, and its correctness is proven. Finally, CTL (computational tree logic) is used to specify the related properties and enforcement algorithm of fault analysis. The simulation results show that this method can ensure the reliability and consistency of service composition.

    参考文献
    [1] Li Q, Liu A, Liu H, Lin B, Gu N. Web services provision: Solutions, challenges and opportunities. In: Kim W, Choi HJ, Won D, eds. Proc. of the 3rd Int’l Conf. on Ubiquitous Information Management and Communication. New York: ACM Press, 2009. 70-87.
    [2] Papazoglou MP, Heuvel WJ. Service oriented architectures: Approaches, technologies and research issues. Int’l Journal on Very Large Data Bases, 2007,16(3):389-415.
    [3] Pleisch S, Schiper A. Approaches to fault-tolerant and transactional mobile agent execution—An algorithmic view. ACM Computing Surveys, 2004,36(3):219-262.
    [4] Chan KSM, Bishop J, Steyn J, Baresi L, Guinea S. A fault taxonomy for Web service composition. In: Nitto E, Ripeanu M, eds. Proc. of the Int’l Workshops on Service-Oriented Computing 2007. LNCS 4907, Heidelberg: Springer-Verlag, 2009. 363-375.
    [5] Liang D, Chen LF, Chen C, Lin F. Fault tolerant Web service. In: Chiang M, ed. Proc. of the 10th Asia-Pacific Software Engineering Conf. Los Alamitos: IEEE Computer Society Press, 2003. 310-319.
    [6] Dobson G. Using WS-BPEL to implement software fault tolerance for Web services. In: Crnkovic I, Grünbacher P, Biffl S, Merz P, Müller P, eds. Proc. of the 32nd EUROMICRO Conf. on Software Engineering and Advanced Applications. Los Alamitos: IEEE Computer Society Press, 2006. 126-133.
    [7] Ardissono L, Furnari R, Goy A, Petrone G, Segnan M. Fault tolerant Web service orchestration by means of diagnosis. In: Volker G, Flávio O, eds. Proc. of the Software Architecture. LNCS 4344, Heidelberg: Springer-Verlag, 2006. 2-16.
    [8] Vijay D, Simon M, Luc M, Roure DD, Luck M. Transparent fault tolerance for Web services based architectures. In: Monien B, FeldMann R, eds. Proc. of the 8th Int’l Euro-Par Conf. on Parallel Processing. LNCS 2400, Heidelberg: Springer-Verlag, 2002. 107-201.
    [9] Zhang J, Qiu RG. Fault injection-based test case generation for SOA-oriented software. In: Robin GQ, ed. Proc. of the IEEE Int’l Conf. on Service Operations and Logistics and Informatics. Los Alamitos: IEEE Computer Society Press, 2006. 1070-1078.
    [10] Arlat J, Costes A, Crouzet Y, Laprie JC, Powell D. Fault injection and dependability evaluation of fault-tolerant systems. IEEE Trans. on Computers, 1993,42(8):913-923.
    [11] Looker N, Xu J. Assessing the dependability of SOAP RPC-based Web services by fault injection. In: Proc. of the 9th IEEE Int’l Workshop on Object-Oriented Real-Time Dependable Systems. Los Alamitos: IEEE Computer Society Press, 2003. 163-170.
    [12] Fan XQ, Jiang CJ, Wang JL. Random-QoS-Aware reliable Web service composition. Journal of Software, 2009,20(3):546-556 (in Chinese with English abstract). http://www.jos.org.cn/1000-9825/3339.htm
    [13] Fan GS, Liu DM, Chen LQ, Yu HQ. A coordination strategy for reliable service composition and its analysis. Chinese Journal of Computers, 2008,31(8):1445-1457 (in Chinese with English abstract).
    [14] Bhiri S, Perrin O, Godart C. Ensuring required failure atomicity of composite Web services. In: Proc. of the 14th Int’l Conf. on World Wide Web. New York: ACM Press, 2005. 138-147.
    [15] Schuldt H, Alonso G, Schek H. Concurrency control and recovery in transactional process management. In: Proc. of the 18th ACM SIGMOD-SIGACT-SIGART Symp. on Principles of Database Systems. New York: ACM Press, 1999. 316-326.
    [16] Yuan CY. The Theory and Application of Petri Nets. Beijing: Publishing House of Electronics Industry, 2005 (in Chinese).
    [17] He XD, Deng Y. A framework for developing and analyzing software architecture specifications in SAM. The Computer Journal, 2002,45(1):111-128.
    附中文参考文献: [12] 范小芹,蒋昌俊,王俊丽,庞善臣.随机QoS感知的可靠Web服务组合.软件学报,2009,20(3):546-556. http://www.jos.org.cn/ 1000-9825/3339.htm
    [13] 范贵生,刘冬梅,陈丽琼,虞慧群.可靠服务组合的协调策略与分析.计算机学报,2008,31(8):1445-1457.
    [16] 袁崇义.Petri网原理与应用.北京:电子工业出版社,2005.
    网友评论
    网友评论
    分享到微博
    发 布
引用本文

范贵生,虞慧群,陈丽琼,刘冬梅.基于Petri网的服务组合故障诊断与处理.软件学报,2010,21(2):231-247

复制
分享
文章指标
  • 点击次数:12905
  • 下载次数: 20654
  • HTML阅读次数: 0
  • 引用次数: 0
历史
  • 收稿日期:2009-06-15
  • 最后修改日期:2009-12-07
文章二维码
友情链接:中国科学院软件研究所中国计算机学会中国科学院国家自然科学基金委员会CCF数字图书馆Int'l J of Softw Info计算机系统应用
您是第20651577位访问者
版权所有：中国科学院软件研究所 京ICP备05046678号-3
地址：北京市海淀区中关村南四街4号,邮政编码：100190
电话：010-62562563 传真：010-62562533 Email：jos@iscas.ac.cn
技术支持：北京勤云科技发展有限公司

京公网安备 11040202500063号