01687nas a2200193   4500008004100000245009100041210006900132260000900201300001400210490000600224520102100230653004001251653002201291653001701313100001501330700001601345700001501361856011701376       2009                        eng d00aOn automated generation of Diagnosers in fault tolerant Service Oriented Architectures0 aautomated generation of Diagnosers in fault tolerant Service Ori  c2009  a336 - 3420 v73 aOne 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 integrated 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.10aBusiness process execution language10aOracle JDevlopers10aWeb services1 aAlodib, M.1 aBordbar, B.1 aMajeed, B.  uhttp://www.scopus.com/inward/record.url?eid=2-s2.0-79960673085&partnerID=40&md5=01e27ad877cad334f9f50bb5f59cbeff