Generación automática de datos de prueba mediante un enfoque que combina Búsqueda Dispersa y Búsqueda Local

Abstract

This work presents a proposal to diagnose business processes that form a global process using a choreography analysis. The diagnosis is based on distributed diagnosis since the business process is formed by a process orchestrations modelled by a set of activities. These business processes have two different types of activities, with internal and external interaction. In this paper the knowledge of the whole business process is divided in different processes. In means that each user has a local point of view of the information of the organization, it also happens in distributed system, where neither agent has global information of how the system is modelled. This work propose a methodology to diagnose the business processes, analyzing only the interactions between the activities of different processes. In order to perform the fault detection for business processes, an algorithm has been defined based on distributed diagnosis. Also some definitions about model-based diagnosis have been redefined to be adapted to business processes diagnosis