Nothing Special   »   [go: up one dir, main page]

Skip to main content
Log in

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

  • Original Research Paper
  • Published:
Service Oriented Computing and Applications Aims and scope Submit manuscript

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8

Similar content being viewed by others

References

  1. Bhandari GP, Gupta R, Upadhyay SK (2018) Colored Petri nets based fault diagnosis in service oriented architecture. Int J Web Serv Res 15(4):1–28

    Article  Google Scholar 

  2. Abrial J-R, Lee MKO, Neilson DS, Scharbach PN, Sørensen IH (1991) The B-method. In: International symposium of VDM Europe, pp 398–405

  3. Brinksma E (1988) LOTOS {A formal description technique based on the temporal ordering of observational behaviour. International Organization for Standardization, vol 8807

  4. Hennessy M (1988) Algebraic theory of processes. MIT Press, Cambridge

    MATH  Google Scholar 

  5. Yan Y, Dague P, Pencole Y, Cordier M-O (2009) A model-based approach for diagnosing fault in web service processes. Int J Web Serv Res 6(1):87–110

    Article  Google Scholar 

  6. Xiong P, Fan Y, Zhou M (2010) A petri net approach to analysis and composition of web services. IEEE Trans Syst Man Cybern Part A Syst Hum 40(2):376–387

    Article  Google Scholar 

  7. Nematzadeh H, Motameni H, Mohamad R, Nematzadeh Z (2014) QoS measurement of workflow-based web service compositions using colored petri net. Sci World J 2014:1–15

    Article  Google Scholar 

  8. Bhandari GP, Gupta R (2018) Dependency-based fault diagnosis approach for SOA-based systems using Colored Petri Nets. J King Saud Univ Comput Inf Sci. https://doi.org/10.1016/j.jksuci.2018.12.002

  9. Ruijters E, Stoelinga M (2015) Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools. Comput Sci Rev 15:29–62

    Article  MathSciNet  Google Scholar 

  10. Marsan MA (1988) Stochastic Petri nets: an elementary introduction. In: European workshop on applications and theory in Petri nets, pp 1–29

    Google Scholar 

  11. Lefebvre D (2014) Fault probability with partially observed stochastic Petri nets. In: Proceedings of American control conference, pp 5502–5507

  12. Ayari N, Barbaron D, Lefevre L, Primet P (2008) Fault tolerance for highly available internet services: concepts, approaches, and issues. IEEE Commun Surv Tutor 10(2):34–46

    Article  Google Scholar 

  13. Ammour R, Leclercq E, Sanlaville E, Lefebvre D (2018) Faults prognosis using partially observed stochastic Petri-nets: an incremental approach. Discrete Event Dyn Syst Theory Appl 28(2):247–267

    Article  MathSciNet  Google Scholar 

  14. Yin X (2018) Verification of prognosability for labeled petri nets. IEEE Trans Autom Control 63(6):1738–1744

    Article  MathSciNet  Google Scholar 

  15. Liu Z (1998) Performance analysis of stochastic timed petri nets using linear programming approach. IEEE Trans Softw Eng 24(11):1014–1030

    Article  Google Scholar 

  16. Muñoz DM, Correcher A, García E, Morant F (2014) Identification of stochastic timed discrete event systems with st-IPN. Math Probl Eng. https://doi.org/10.1155/2014/835312

    Article  MathSciNet  Google Scholar 

  17. Bhandari GP, Gupta R (2018) Fault analysis of service-oriented systems: a systematic literature review. IET Softw 12(5):446–460

    Article  Google Scholar 

  18. Bhandari GP, Gupta R (2018) Extended fault taxonomy of SOA-based systems. J Comput Inf Technol 25(4):237–257

    Article  Google Scholar 

  19. Cassandras C, Lafortune S (2008) Introduction to discrete event systems, vol 54, 2nd edn. Springer, Berlin

    Book  Google Scholar 

  20. Zheng Z, Lyu MR (2010) An adaptive QoS-aware fault tolerance strategy for web services. Empir Softw Eng 15(4):323–345

    Article  Google Scholar 

  21. Wang H, Wang L, Yu Q, Zheng Z (2019) Learning the evolution regularities for big service-oriented online reliability prediction. IEEE Trans Serv Comput 12(3):398–411

    Article  Google Scholar 

  22. Ichikawa A, Hiraishi K (1988) Analysis and control of discrete event systems represented by Petri nets. In: Discrete event systems: models and applications. Springer, Berlin, Heidelberg, pp 115–134

  23. Jensen K (2015) Colored Petri nets : a graphical language. Commun ACM 58(6):61–70

    Article  Google Scholar 

  24. Waszniowski L, Krákora J, Hanzálek Z (2009) Case study on distributed and fault tolerant system modeling based on timed automata. J Syst Softw 82(10):1678–1694

    Article  Google Scholar 

  25. Thong WJ, Ameedeen M (2015) A survey of petri net tools. Lect Notes Electr Eng 315(8):537–551

    Article  Google Scholar 

  26. Haas PJ (2002) Stochastic Petri nets, vol 26. Verlag Vieweg, Wiesbaden

    MATH  Google Scholar 

  27. Murata T (1989) Petri nets: properties, analysis and applications. Proc IEEE 77(4):541–580

    Article  Google Scholar 

  28. Bi J, Yuan H, Zhou M (2016) A Petri net method for compatibility enforcement to support service choreography. IEEE Access 4:8581–8592

    Article  Google Scholar 

  29. Ahluwalia S (2004) Hierarchical state machines. Firmware Handb 1872:111–119

    Article  Google Scholar 

  30. Ru Y, Hadjicostis CN (2009) Fault diagnosis in discrete event systems modeled by partially observed petri nets. Discrete Event Dyn Syst Theory Appl 19(4):551–575

    Article  MathSciNet  Google Scholar 

  31. Atig MF, Habermehl P (2011) On Yen’s path logic for Petri nets. Int J Found Comput Sci 22(04):783–799

    Article  MathSciNet  Google Scholar 

  32. Haddad S, Moreaux P (2009) Stochastic Petri nets. In: Diaz M (ed) Petri nets: fundamental models, verification and applications. Wiley-ISTE, pp 269–302

  33. Nie K, Wang H, Jing X, Xie Z (2013) Web service automatic composition model based on colored Petri nets. Commun Netw 05(01):101–105

    Article  Google Scholar 

  34. Tan W, Fan Y, Zhou M (2009) A petri net-based method for compatibility analysis and composition of web services in business process execution language. IEEE Trans Autom Sci Eng 6(1):94–106

    Article  Google Scholar 

  35. Amari SV, Misra RB (1997) Closed-form expressions for distribution of sum of exponential random variables. IEEE Trans Reliab 46(4):519–522

    Article  Google Scholar 

  36. Zimmermann A, Freiheit J, German R, Hommel G (2000) Petri net modelling and performability evaluation with TimeNET 3. 0. In: International conference on modelling techniques and tools for computer performance evaluation, pp 0–15

    Chapter  Google Scholar 

  37. German R, Kelling C, Zimmermann A, Hommel G (1995) TimeNET—a toolkit for evaluating non-Markovian stochastic Petri nets. Perform Eval 24(1–2):68–87

    MATH  Google Scholar 

  38. Bonet P, Lladó C (2007) PIPE v2. 5: a Petri net tool for performance modelling. In: Proceedings of 23rd Latin American conference informatics (CLEI 2007), p 12

  39. Alodib M, Bordbar B (2009) A model-based approach to fault diagnosis in service oriented architectures. In: 2009 seventh IEEE European conference on web services, pp 129–138

Download references

Acknowledgements

The authors would like to thank Indian Council for Cultural Relations (ICCR), Ministry of Foreign Affairs, India for providing funds and DST-CIMS, Institute of Science, Banaras Hindu University, India for providing necessary infrastructure and facilities to conduct this research work.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Guru Prasad Bhandari.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Bhandari, G.P., Gupta, R. Fault diagnosis in service-oriented computing through partially observed stochastic Petri nets. SOCA 14, 35–47 (2020). https://doi.org/10.1007/s11761-019-00279-5

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11761-019-00279-5

Keywords

Navigation