Automated Reasoning Tool for the Detection of Race Conditions in Web Services

The development of web technology and e-business applications has enabled Web services to be widely accepted by industry and academic research. Web service is a software system designed to support interoperable machine-to-machine interaction over a network. Race condition in Web services is defined as "The abnormal execution order of the concurrent events that leads to unexpected system behavior". The salient feature of this paper is to implement a novel approach to detect and avoid race conditions in Web services. Race condition is detected using Petri net model. Defeasible reasoning, an AI technique has been implemented and tested to avoid the race conditions in Web services.