Fault diagnosis in service-oriented computing through partially observed stochastic Petri nets

Service composition, interoperability, loose coupling and distributed nature make service-oriented computing (SOC) enhanced for small-scale to large and complex software systems, though it tends to increase the vulnerability of faults. The properties of SOC pose newer challenges in fault diagnosis. To deal with this problem, we need to enhance the understandability that assists in fault analysis of SOC. In this paper, we have proposed a model-based fault diagnosis approach for SOC adopting the concept of partially observed stochastic Petri nets. In this work, Web services are transformed into Petri nets and stochastic Petri nets using the existing constructs. Then, the calculated reachability graph of the modeled Petri nets is used to diagnose the fault in the observable sequence with the help of labeled Petri nets. Experiments are conducted for the illustration of the proposed fault diagnosis model. The analyzed performance of the proposed model guarantees the accessibility of our approach and suggests the inspection of the model into real-world environments.

[1]  Falko Bause,et al.  Stochastic Petri Nets , 1996 .

[2]  Dimitri Lefebvre Fault probability with partially observed stochastic Petri nets , 2014, 2014 American Control Conference.

[3]  Marco Ajmone Marsan,et al.  Stochastic Petri nets: an elementary introduction , 1988, European Workshop on Applications and Theory in Petri Nets.

[4]  MengChu Zhou,et al.  A Petri Net Approach to Analysis and Composition of Web Services , 2010, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[5]  Günter Hommel,et al.  TimeNET-a toolkit for evaluating non-Markovian stochastic Petri nets , 1995, Proceedings 6th International Workshop on Petri Nets and Performance Models.

[6]  Zhen Liu,et al.  Performance Analysis of Stochastic Timed Petri Nets Using Linear Programming Approach , 1995, IEEE Trans. Software Eng..

[7]  Kunihiko Hiraishi,et al.  Analysis and control of discrete event systems represented by petri nets , 1988 .

[8]  S. Amari,et al.  Closed-form expressions for distribution of sum of exponential random variables , 1997 .

[9]  Radziah Mohamad,et al.  QoS Measurement of Workflow-Based Web Service Compositions Using Colored Petri Net , 2014, TheScientificWorldJournal.

[10]  Houxiang Wang,et al.  Web Service Automatic Composition Model Based on Colored Petri Nets , 2013 .

[11]  M. Barba,et al.  Spinal Fusion in the Next Generation: Gene and Cell Therapy Approaches , 2014, TheScientificWorldJournal.

[12]  Ratneshwer,et al.  Dependency-based fault diagnosis approach for SOA-based systems using Colored Petri Nets , 2018 .

[13]  Mohamed Ariff Ameedeen,et al.  A Survey of Petri Net Tools , 2015 .

[14]  Iso. Lotos,et al.  A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour , 1985 .

[15]  E. García,et al.  Identification of Stochastic Timed Discrete Event Systems with st-IPN , 2014 .

[16]  Michel Diaz,et al.  Petri Nets: Fundamental Models, Verification and Applications , 2009 .

[17]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[18]  Matthew K. O. Lee,et al.  The B-Method , 1991, VDM Europe.

[19]  Zibin Zheng,et al.  Learning the Evolution Regularities for BigService-Oriented Online Reliability Prediction , 2019, IEEE Transactions on Services Computing.

[20]  Zdenek Hanzálek,et al.  Case study on distributed and fault tolerant system modeling based on timed automata , 2009, J. Syst. Softw..

[21]  Zibin Zheng,et al.  An adaptive QoS-aware fault tolerance strategy for web services , 2010, Empirical Software Engineering.

[22]  Xiang Yin Verification of Prognosability for Labeled Petri Nets , 2018, IEEE Transactions on Automatic Control.

[23]  Laurent Lefèvre,et al.  Fault tolerance for highly available internet services: concepts, approaches, and issues , 2008, IEEE Communications Surveys & Tutorials.

[24]  RuijtersEnno,et al.  Fault tree analysis , 2015 .

[25]  Matthew Hennessy,et al.  Algebraic theory of processes , 1988, MIT Press series in the foundations of computing.

[26]  Haitao Yuan,et al.  A Petri Net Method for Compatibility Enforcement to Support Service Choreography , 2016, IEEE Access.

[27]  Guru Prasad Bhandari,et al.  Fault analysis of service-oriented systems: a systematic literature review , 2018, IET Softw..

[28]  Philippe Dague,et al.  A Model-Based Approach for Diagnosing Fault in Web Service Processes , 2009, Int. J. Web Serv. Res..

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

[30]  Eric Sanlaville,et al.  Faults prognosis using partially observed stochastic Petri-nets: an incremental approach , 2018, Discret. Event Dyn. Syst..

[31]  Mihalis Yannakakis,et al.  Hierarchical State Machines , 2000, IFIP TCS.

[32]  Mariëlle Stoelinga,et al.  Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools , 2014, Comput. Sci. Rev..

[33]  Guru Prasad Bhandari,et al.  Extended Fault Taxonomy of SOA-Based Systems , 2017, J. Comput. Inf. Technol..

[34]  Serge Haddad,et al.  Stochastic Petri Nets , 2010 .

[35]  Behzad Bordbar,et al.  A Model-Based Approach to Fault Diagnosis in Service Oriented Architectures , 2009, 2009 Seventh IEEE European Conference on Web Services.

[36]  Christoforos N. Hadjicostis,et al.  Fault Diagnosis in Discrete Event Systems Modeled by Partially Observed Petri Nets , 2009, Discret. Event Dyn. Syst..

[37]  Guru Prasad Bhandari,et al.  Colored Petri Nets Based Fault Diagnosis in Service Oriented Architecture , 2018, Int. J. Web Serv. Res..

[38]  Mohamed Faouzi Atig,et al.  On Yen's Path Logic for Petri Nets , 2009, Int. J. Found. Comput. Sci..

[39]  Jörn Freiheit,et al.  Petri Net Modelling and Performability Evaluation with TimeNET 3.0 , 2000, Computer Performance Evaluation / TOOLS.

[40]  MengChu Zhou,et al.  A Petri Net-Based Method for Compatibility Analysis and Composition of Web Services in Business Process Execution Language , 2009, IEEE Transactions on Automation Science and Engineering.