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.

[1]  J.P. Thomas,et al.  Modeling of Web services flow , 2003, EEE International Conference on E-Commerce, 2003. CEC 2003..

[2]  Krzysztof Sacha.  Fault Analysis Using Petri Nets , 2001 .

[3]  Fangchun Yang,et al.  Detecting Race Conditions in Web Services , 2006, Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services (AICT-ICIW'06).

[4]  Gerald C. Gannod,et al.  A model-driven approach for specifying semantic Web services , 2005, IEEE International Conference on Web Services (ICWS'05).

[5]  MengChu Zhou,et al.  Petri nets and industrial applications: A tutorial , 1994, IEEE Trans. Ind. Electron..

[6]  Michael J. Maher,et al.  On the analysis of regulations using defeasible rules , 1999, Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32. Abstracts and CD-ROM of Full Papers.

[7]  Grigoris Antoniou,et al.  DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web , 2007, IEEE Transactions on Knowledge and Data Engineering.

[8]  Qingyu Zhang,et al.  Web services and virtual communities , 2005, Proceedings of ICSSSM '05. 2005 International Conference on Services Systems and Services Management, 2005..