Diagnosability of systems is an essential property that determines how accurate any
diagnostic reasoning can be on a system given any sequence of observations. Generally, in …

Web service orchestration languages are de? ned to describe business processes
composed of Web services. A business process can fail for many reasons, such as faulty …

Enterprise Application Integration (EAI) solutions comprise a set of specific-purpose
processes that implement exogenous message workflows. The goal is to keep a number of …

The formalism of chronicles has been proposed to monitor and diagnose dynamic physical
systems. Even if efficient chronicle recognition algorithms exist, it is now well-known that …

Web service orchestration languages describe executable business processes composed of
Web services. A business process can fail for many reasons, such as faulty Web services or …

This paper aims to present a method of creating architectures which allow monitoring
occurrence of failure in Service oriented Architectures (SoA). The presented approach …

This paper presents the modeling of BPEL (timed) constructs by using a new formalism WS-
TEFSM (Web Service Timed Extended Finite State Machine). A formal map** of all BPEL …

Failures during Web service execution may depend on a wide variety of causes. In this
paper we illustrate how, upon faults of a Web application, the faults can be handled by …

Failures during Web service execution may depend on a wide variety of causes. In this
paper we propose a classification of Web service faults, discussing three levels of faults …

Business processes are increasingly distributed and open, making them prone to failure.
Monitoring is, therefore, an important concern not only for the processes themselves but also …