Colored Petri Nets Based Fault Diagnosis in Service Oriented Architecture

Diagnosingfaultsinaservice-orientedarchitecture(SOA)isadifficulttaskduetolimitedaccessibility ofsoftwareservices.Probabilisticapproachesofdiagnosticfaultsmaybeinsufficientduetotheblackboxnatureofservices.InSOA,softwareservicesmaybeobtainedbydifferentserviceprovidersand getcomposedatrun-time.Thisisthereasonwhytherearediagnosisfaultsatexecutiontime,andis acostlyaffair.TheauthorshavedemonstratedaColorPetriNets(CPN)-basedapproachtomodel differentfaultsthatmayoccuratexecutiontime.Someheuristicsareproposedtodiagnosefaultsfrom theCPNmodeling.CPNbehavioralpropertieshavealsobeenusedforfaultdiagnosis.Themodel maybehelpfulfordependabilityenhancementofanSOA-basedsystems. KeyWORDS Colored Petri Nets, CPN, Fault Diagnosis, Fault, Petri Nets, Service Oriented Architecture, Service, SOA

[1]  Fang Li-na.  Translating Colored Petri Nets Collaboration Model to BPEL , 2008 .

[2]  Nardjes Menadjelia.  Towards a formal study of automatic failure recovery in protocol-based web service composition , 2015, Service Oriented Computing and Applications.

[3]  Vijayalakshmi Atluri,et al.  Modeling and Analysis of Workflows Using Petri Nets , 1998, Journal of Intelligent Information Systems.

[4]  Xu Wang,et al.  Diagnosis of Time Petri Nets Using Fault Diagnosis Graph , 2015, IEEE Transactions on Automatic Control.

[5]  Jan Mendling,et al.  Business Process Execution Language for Web Services , 2006, EMISA Forum.

[6]  François Guerin,et al.  Design of observations graphs for partially observed Petri nets: Application to the diagnosability analysis of DES1 , 2013, 52nd IEEE Conference on Decision and Control.

[7]  Zaihong Zhou,et al.  Online Fault Diagnosis in Discrete Event Systems with Partially Observed Petri Nets , 2018 .

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

[9]  M.A. Masrur,et al.  Model-based fault diagnosis in electric drives using machine learning , 2006, IEEE/ASME Transactions on Mechatronics.

[10]  Philippe Dague,et al.  Modeling BPEL Web Services for Diagnosis: Towards Self-healing Web Services , 2007, WEBIST.

[11]  Alessandro Giua,et al.  Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints , 2015, IEEE Trans. Autom. Control..

[12]  Ting Qu,et al.  Fault Diagnosis in Partially Observed Petri Nets Using Redundancies , 2018, IEEE Access.

[13]  Dimitri Lefebvre,et al.  Stochastic Petri Net Identification for the Fault Detection and Isolation of Discrete Event Systems , 2011, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[14]  P. S. Thiagarajan,et al.  A Theory of Bipolar Synchronization Schemes , 1984, Theor. Comput. Sci..

[15]  Mohammad Zulkernine,et al.  On Failure Propagation in Component-Based Software Systems , 2008, 2008 The Eighth International Conference on Quality Software.

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

[17]  Gerhard Weikum,et al.  A Formal Foundation for Distributed Workflow Execution Based on State Charts , 1997, ICDT.

[18]  Yong Xiao,et al.  Verifying web services composition based on hierarchical colored petri nets , 2005, IHIS '05.

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

[20]  Jun Shen,et al.  Analyzing Fault-Impact Region of Composite Service for Supporting Fault Handling Process , 2011, 2011 IEEE International Conference on Services Computing.

[21]  R. Albrecht,et al.  Ein Verfahren zur Identifizierung von Zeichen, deren Wiedergabe stationären statischen Störungen unterworfen ist , 2005, Computing.

[22]  Guisheng Fan,et al.  Petri net based techniques for constructing reliable service composition , 2013, J. Syst. Softw..

[23]  Kishor S. Trivedi,et al.  A Decomposition Approach for Stochastic Reward Net Models , 1993, Perform. Evaluation.

[24]  Xiao Liu,et al.  Where to Fix Temporal Violations: A Novel Handling Point Selection Strategy for Business Cloud Workflows , 2016, 2016 IEEE International Conference on Services Computing (SCC).

[25]  Pawan Kumar,et al.  Dependency Modeling of a SOA Based System Through Colored Petri Nets , 2016, J. Comput. Inf. Technol..

[26]  Alessandro Giua,et al.  On the Equivalence of Observation Structures for Petri Net Generators , 2016, IEEE Transactions on Automatic Control.

[27]  Omid Bushehrian,et al.  A Workflow-Based Failure Recovery in Web Services Composition , 2012 .

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

[29]  Guru Prasad Bhandari,et al.  A fault propagation approach for SOA fault management using Petri Nets , 2017, 2017 Conference on Information and Communication Technology (CICT).

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

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

[32]  Walter Ukovich,et al.  Fault Detection by Labeled Petri Nets in Centralized and Distributed Approaches , 2013, IEEE Transactions on Automation Science and Engineering.

[33]  Vasant Honavar,et al.  Failure Analysis for Composition of Web Services Represented as Labeled Transition Systems , 2010, WS-FM.

[34]  Ratneshwer,et al.  Fault Repairing Strategy Selector for Service-Oriented Architecture , 2017 .

[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]  Francesco Basile,et al.  State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions , 2015, IEEE Transactions on Automatic Control.

[37]  Leony Ortiz Matos,et al.  Reconfiguration strategy for Fault Tolerance of power Distribution Systems using Petri net , 2016 .

[38]  Jun Shen,et al.  Incremental service level agreements violation handling with time impact analysis , 2013, J. Syst. Softw..

[39]  Dimitri Lefebvre,et al.  Model predictive control for discrete and continuous timed Petri nets , 2018, Int. J. Autom. Comput..

[40]  Luciano Baresi,et al.  A Fault Taxonomy for Web Service Composition , 2009, ICSOC Workshops.

[41]  Raymond E. Miller,et al.  Homomorphisms between Models of Parallel Computation , 1982, J. Comput. Syst. Sci..

[42]  Hongyu Sun,et al.  Integrating Product-Line Fault Tree Analysis into AADL Models , 2007 .

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

[44]  Carlo Ghezzi,et al.  A journey to highly dynamic, self-adaptive service-based applications , 2008, Automated Software Engineering.

[45]  Peter J. Haas,et al.  Stochastic Petri Nets , 2002 .

[46]  Behzad Bordbar,et al.  A modelling approach to Service oriented Architecture for on-line diagnosis , 2012, Service Oriented Computing and Applications.

[47]  Louchka Popova-Zeugmann,et al.  On Time Petri Nets , 1991, J. Inf. Process. Cybern..

[48]  Gérard Berthelot,et al.  Petri Nets Theory for the Correctness of Protocols , 1982, PSTV.