On Automated Generation of Diagnosers in Fault tolerant Service Oriented Architectures
Mohammed Alodib, Behzad Bordbar, Basim Majeed
Journal of Digital Information Management, Vol. 7, No. 6, 2009.
DOI: 
Link: http://www.dline.info/fpaper/jdim/v7i6/2.pdf
Abstract:
One of the key stages of the development of a fault tolerant Service Oriented Architecture is the creation of Diagnosers, which monitors the systemâ€™s behavior to identify the occurrence of failure. This paper presents a Model Driven Development (MDD) approach to the automated creation of the Diagnosing Services and integrating them into the system. The outline of the method is as follows. BPEL models of the services are transformed to Deterministic Automaton with Unobservable Event representations using the MDD transformations. Then, relying on Discrete Event System techniques Diagnosers Automaton for the Deterministic Automaton representations are created automatically. Finally, the Diagnosers Automaton is transformed into a new BPEL representation, which is inte- grated into the original architecture. The proposed approach is implemented as an Oracle JDevlopers plugin. To evaluate the presented method, a case study involving a Right-First-Time failure scenario motivated by telecom application is used.