A Logic-Based Infrastructure for Reconfiguring Applications

Abstract

Abstract. This paper proposes the DALI Multiagent System, which is a logic programming environment for developing agent-based applications, as a tool for component-based software management based on coordination. In particular we show the usefulness of the integration between DALI and the agent-based Lira system, which is a Light-weight Infrastructure for Reconfiguring Applications. We argue that using intelligent agents for managing component-based software systems makes it possible to: (i) perform monitoring and supervision upon complex properties of a system, such as for instance performance; (ii) perform global reconfigurations dynamically through the cooperation of intelligent agents.

A Framework for Reconfiguration-Based Fault-Tolerance in Distributed Systems

“…The framework is based on Lira [9][10][11], an infrastructure for component based application reconfiguration, enriched with decision making capabilities that allow the choice of the reconfiguration which better fits the actual state of the managed application. In the following, the different parts of the framework, and how they implement the proposed approach are described.…”

Self-checking Logical Agents

“…[13] for a comprehensive list of references about DALI, while the DALI interpreter is publicly available at [14]). We have experimented with DALI in a variety of applications (see, e.g., [15,16,17,18]), from which we have drawn experience and inspiration for the present work. We have added A-ILTL rules and expressions to DALI, where we also have prototypically implemented the approach.…”