No abstract

No abstract

The reflective middlewares have been used as a powerful tool to cope with inherent heterogeneous nature of distributed systems, in order to give them greater adaptability capacities. Recently, some papers have extended the reflective middlewares with autonomic capabilities based on the autonomic computing paradigm. One of the main component is the MAPE-K (Monitor-Analyze-Plan-Execute plus Knowledge) component of the autonomic manager. In this paper we develop a MAPE-K component as a service of the autonomic managers of a reflective middleware based on autonomic computing. In this way, the MAPE-K is distributed to each service that is part of the composition, and internally each component of MAPE-K is constructed as a separate service, distributed and weakly coupled, giving great flexibility. We test the MAPE-K component as a service in a reflective middleware architecture based on autonomic computing, for the distributed diagnostic of faults in the services composition.

Checking the diagnosability of a discrete event system aims at determining whether a fault can always be identified with certainty after the observation of a bounded number of events. This paper investigates the problem of pattern diagnosability of systems modeled as bounded labeled prioritized Petri nets that extends the diagnosability problem on single fault events to more complex behaviors. An effective method to automatically analyze the diagnosability of a pattern is proposed. It relies on a specific Petri net product that turns the pattern diagnosability problem into a model-checking problem.