A Petri Net-Based Byzantine Fault Diagnosis Method for Service Composition

Service composition is an important means for integrating the individual Web services to create new value added systems that can satisfy complex requirements. However, it is a challenge to enforce fault diagnosis mechanism for those applications due to the uncertainty of service quality in distributive and heterogeneous environment. In this paper, a Byzantine fault diagnosis method for service composition based on Petri nets is proposed. The reliability of service are taken into account for the appropriate selection of required services. And a service composition fault net (SCFN) is proposed, which can be used to model different components of service composition. Finally, the fault detection strategy is provided for processing fault of service composition in dynamic environment. Theories of Petri nets help prove its correctness and effectiveness, thus guarantee the reliability of service composition. A case study illustrates the applicability of proposed method, and its feasibility has been demonstrated by simulation.

[1]  Kwang Mong Sim,et al.  Agent-Based Adaptive Resource Allocation on the Cloud Computing Environment , 2011, 2011 40th International Conference on Parallel Processing Workshops.

[2]  Guisheng Fan,et al.  A Method for Modeling and Analyzing Fault-Tolerant Service Composition , 2009, 2009 16th Asia-Pacific Software Engineering Conference.

[3]  Guan-Chun Luh,et al.  Immune model-based fault diagnosis , 2005, Math. Comput. Simul..

[4]  Miguel Oom Temudo de Castro,et al.  Practical Byzantine fault tolerance , 1999, OSDI '99.

[5]  K. H. Kim,et al.  Distributed Execution of Recovery Blocks: An Approach for Uniform Treatment of Hardware and Software Faults in Real-Time Applications , 1989, IEEE Trans. Computers.

[6]  Liliana Ardissono,et al.  Fault Tolerant Web Service Orchestration by Means of Diagnosis , 2006, EWSA.

[7]  Louise E. Moser,et al.  Toward Trustworthy Coordination of Web Services Business Activities , 2013, IEEE Transactions on Services Computing.

[8]  Tatsuya Suda,et al.  Automated generation of composite web services based on functional semantics , 2009, J. Web Semant..

[9]  Jie Xu,et al.  Byzantine fault-tolerance in federated cloud computing , 2011, Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE).

[10]  Wenbing Zhao,et al.  BFT-WS: A Byzantine Fault Tolerance Framework for Web Services , 2007, 2007 Eleventh International IEEE EDOC Conference Workshop.

[11]  Roy Leitch,et al.  Time-constrained qualitative model-based diagnosis , 1997 .

[12]  Yiannis Papadopoulos.  Model-based system monitoring and diagnosis of failures using statecharts and fault trees , 2003, Reliab. Eng. Syst. Saf..

[13]  Liliana Ardissono,et al.  Enhancing Web services with diagnostic capabilities , 2005, Third European Conference on Web Services (ECOWS'05).

[14]  Louise E. Moser,et al.  Trustworthy Coordination of Web Services Atomic Transactions , 2012, IEEE Transactions on Parallel and Distributed Systems.

[15]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[16]  Miguel Castro,et al.  Practical byzantine fault tolerance and proactive recovery , 2002, TOCS.

[17]  Vyacheslav S. Kharchenko,et al.  Experimenting with exception propagation mechanisms in service-oriented architecture , 2008, WEH '08.

[18]  Wenbing Zhao,et al.  Byzantine Fault Tolerant Coordination for Web Services Business Activities , 2008, 2008 IEEE International Conference on Services Computing.

[19]  Mike P. Papazoglou,et al.  Service oriented architectures: approaches, technologies and research issues , 2007, The VLDB Journal.

[20]  Jeong-Oog Lee,et al.  Development of Web services-based Multidisciplinary Design Optimization framework , 2009, Adv. Eng. Softw..

[21]  Priya Narasimhan,et al.  Thema: Byzantine-fault-tolerant middleware for Web-service applications , 2005, 24th IEEE Symposium on Reliable Distributed Systems (SRDS'05).

[22]  Maria Luisa Villani,et al.  A framework for QoS-aware binding and re-binding of composite web services , 2008, J. Syst. Softw..

[23]  Walid Gaaloul,et al.  Formal verification of composite service recovery mechanisms consistency , 2007, 2007 International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom 2007).