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.
Similar content being viewed by others
References
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
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
Brinksma E (1988) LOTOS {A formal description technique based on the temporal ordering of observational behaviour. International Organization for Standardization, vol 8807
Hennessy M (1988) Algebraic theory of processes. MIT Press, Cambridge
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
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
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
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
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
Marsan MA (1988) Stochastic Petri nets: an elementary introduction. In: European workshop on applications and theory in Petri nets, pp 1–29
Lefebvre D (2014) Fault probability with partially observed stochastic Petri nets. In: Proceedings of American control conference, pp 5502–5507
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
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
Yin X (2018) Verification of prognosability for labeled petri nets. IEEE Trans Autom Control 63(6):1738–1744
Liu Z (1998) Performance analysis of stochastic timed petri nets using linear programming approach. IEEE Trans Softw Eng 24(11):1014–1030
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
Bhandari GP, Gupta R (2018) Fault analysis of service-oriented systems: a systematic literature review. IET Softw 12(5):446–460
Bhandari GP, Gupta R (2018) Extended fault taxonomy of SOA-based systems. J Comput Inf Technol 25(4):237–257
Cassandras C, Lafortune S (2008) Introduction to discrete event systems, vol 54, 2nd edn. Springer, Berlin
Zheng Z, Lyu MR (2010) An adaptive QoS-aware fault tolerance strategy for web services. Empir Softw Eng 15(4):323–345
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
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
Jensen K (2015) Colored Petri nets : a graphical language. Commun ACM 58(6):61–70
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
Thong WJ, Ameedeen M (2015) A survey of petri net tools. Lect Notes Electr Eng 315(8):537–551
Haas PJ (2002) Stochastic Petri nets, vol 26. Verlag Vieweg, Wiesbaden
Murata T (1989) Petri nets: properties, analysis and applications. Proc IEEE 77(4):541–580
Bi J, Yuan H, Zhou M (2016) A Petri net method for compatibility enforcement to support service choreography. IEEE Access 4:8581–8592
Ahluwalia S (2004) Hierarchical state machines. Firmware Handb 1872:111–119
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
Atig MF, Habermehl P (2011) On Yen’s path logic for Petri nets. Int J Found Comput Sci 22(04):783–799
Haddad S, Moreaux P (2009) Stochastic Petri nets. In: Diaz M (ed) Petri nets: fundamental models, verification and applications. Wiley-ISTE, pp 269–302
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
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
Amari SV, Misra RB (1997) Closed-form expressions for distribution of sum of exponential random variables. IEEE Trans Reliab 46(4):519–522
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
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
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
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
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
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
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
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11761-019-00279-5