Colored Petri Nets Based Fault Diagnosis in Service Oriented Architecture

Colored Petri Nets Based Fault Diagnosis in Service Oriented Architecture

Guru Prasad Bhandari (Banaras Hindu University, Varanasi, India), Ratneshwer Gupta (Jawaharlal Nehru University, Delhi, India) and Satyanshu K. Upadhyay (Banaras Hindu University, Varanasi, India)
Copyright: © 2018 |Pages: 28
DOI: 10.4018/IJWSR.2018100101

Abstract

Diagnosing faults in a service-oriented architecture (SOA) is a difficult task due to limited accessibility of software services. Probabilistic approaches of diagnostic faults may be insufficient due to the black-box nature of services. In SOA, software services may be obtained by different service providers and get composed at run-time. This is the reason why there are diagnosis faults at execution time, and is a costly affair. The authors have demonstrated a Color Petri Nets (CPN)-based approach to model different faults that may occur at execution time. Some heuristics are proposed to diagnose faults from the CPN modeling. CPN behavioral properties have also been used for fault diagnosis. The model may be helpful for dependability enhancement of an SOA-based systems.
Article Preview

1. Introduction

Service Oriented Architecture (SOA) utilizes the implementation of business processes as a composition of interacting services (Mendling, 2006). Due to dynamic and heterogeneous nature of SOA, gurantee of failure free system is a cumbersome task. Faults may occur at any stages of SOA based system (SBS) and if not handled correctly their effect may propagate into the whole system and eventually brings the system into failure. Nature of fault generation and its impact is different in different cases. Even a single fault can behave differently in the changed circumstances. Manual identification of faults at execution time is impractical and cumbersome. So, a clear understanding of faults and their propagation effects are very important in order to propose some fault diagnosis and repair strategy. The main property of SOA is to dynamically discover services from different service providers and their composition at run-time in order to construct the software system. This transparency makes the SOA effective but also brings the possibility of various faults at a dynamic time. The study of different types of faults that may occur at a dynamic time is very necessary. In the present work, we focus only on the modeling of dynamic faults in SOA that may occur at execution time.

Petri Net is a basic modeling tool of parallel and distributed systems. It was originated from Carl Adam Petri’s dissertation in 1962 for the purpose of describing chemical processes (Murata, 1989). Nowadays, Petri Net is grasping the popularity in modeling the concurrent, parallel and dynamic systems. A normal Petri Net would not be able to model in different cases like while a node only holds the same kind of items or tokens. The time-related dependency of the system also cannot be shown by simple Petri Net. Thus, there are many extensions of Petri Nets such as Colored Petri Nets(CPN) (Jensen, 2015), Timed Petri Nets(TPN) (Popova-Zeugmann, 2013), Stochastic Petri Nets (Haas, 2002), Labeled Petri Nets (Murata, 1989), Partially Observed Petri Nets(POPNs)(Yin, et al., 2018), state-charts (Wodtke & Weikum, 1997), hierarchical state machines (Yannakakis, 2000) etc.

Fault modelling is more effective in terms of time and cost if it is represented in a formal manner. Petri Net is one of the several mathematical modeling languages of DESs, now gaining popularity in modeling and control of DESs due to their graphical representation and advantages in designing distributed, parallel and concurrent systems (Tong, et al., 2016; Ma, et al., 2015). Since SOA is also a distributed, parallel and concurrent system, fault diagnosis system of SBS can be modeled using Petri Nets representing abnormal events in a place or a transition as a fault location. There are many studies using Petri Nets but only a few studies are available that discuss faults in SBS. Most of the researchers have emphasized on modeling of service composition and dependency analysis rather than how faults can be diagnosed in the SBS.

In this paper, we adopt CPN to model the dynamic faults in SBS. Different types of dynamic faults, along with their sub-types, are covered under discussion. A case study has been taken to demonstrate various fault scenario in SBS. Some heuristics are proposed for the automated identification of dynamic faults from the CPN model. Different CPN properties are also used for the fault modeling. This approach enhances the understanding of dynamic faults in the aspect of SOA and will be helpful in the proposition of newer fault recovery mechanisms.

In the conventional techniques, it requires prior knowledge of faults or a special structure, which may not be realistic in practice. To deal with this problem, in this work, SBS faults are modeled as abnormal events that can occur on any transition or place mapped to the CPN that enhances the understandability and assists in testing and fault recovery process. The idea is to model different activities of SBS through CPN and find out the possibility of faults in different scenarios. In addition, the purpose of this paper is to help the researchers and practitioners to get the information about the major scenarios of temporal faults, service unavailability faults and service composition faults along with their diagnosis techniques. Moreover, the additional objective of the paper is to check the behavioral characteristics of the CPN whether they are helpful to the fault diagnosis or not.

Complete Article List

Search this Journal:
Reset
Open Access Articles
Volume 17: 4 Issues (2020): Forthcoming, Available for Pre-Order
Volume 16: 4 Issues (2019): 3 Released, 1 Forthcoming
Volume 15: 4 Issues (2018)
Volume 14: 4 Issues (2017)
Volume 13: 4 Issues (2016)
Volume 12: 4 Issues (2015)
Volume 11: 4 Issues (2014)
Volume 10: 4 Issues (2013)
Volume 9: 4 Issues (2012)
Volume 8: 4 Issues (2011)
Volume 7: 4 Issues (2010)
Volume 6: 4 Issues (2009)
Volume 5: 4 Issues (2008)
Volume 4: 4 Issues (2007)
Volume 3: 4 Issues (2006)
Volume 2: 4 Issues (2005)
Volume 1: 4 Issues (2004)
View Complete Journal Contents Listing