This work centres on a control framework for general multi-agent systems, which separates the design of agents behaviours (the application layer) from crosscutting control concerns (the control layer) regulating message exchange and processing. The goal is to support modelling and execution of a multi-agent system whose evolution is transparently governed by a pluggable control structure. A library of different control structures, including pure-concurrent and time-sensitive (real-time and simulation) strategies, was developed. The paper describes the developed control framework and focusses on the achievement of control strategies compliant with agent mobility and resource availability. The control design rests on a minimal actor computational model extended with actions, which are independent computational tasks able to execute in parallel. The approach enables model continuity, that is, the same model is used from analysis by simulation to implementation and real-time execution. The framework is prototyped on top of the JADE agent infrastructure. Usability and effectiveness of the resultant approach are demonstrated by a case study based on a complex closed queue network of services. On-going and future work is finally pointed out in the conclusions.
3334F. CICIRELLI AND L. NIGRO sidering the availability of dedicated processing units. Flexibility of control design is also advocated to deal with problems of mechanism design [2] where a suitable control strategy is required to regulate/coordinate the decision process in a group of agents during the allocation of scarce resources. This paper proposes an original and flexible control framework for distributed multi-agent systems. The approach makes it possible to transparently aggregate a given control module extracted from a library to a multi-agent system. One of the challenging goals in this work is to support model continuity [3] whose aim is to favour the use of a same model from property analysis (possibly based on parallel/distributed simulation) to real-time execution. A particular implementation of the approach, devoted to the schedulability analysis of real-time systems, is described in [4].The proposed control framework purposely depends on a minimal computational actor model [5][6][7]. The actor model actually used in this paper is novel in that it owns a notion of actions, which are a key for transparently switching from simulation to real execution. Actions naturally map on to processing units (PUs) managed by a given control strategy. PUs model computational resources of the external environment of the application. Both the availability and the behaviour of processing units can affect, in an orthogonal way, the execution of the application. In particular, the evolution of a realized multi-agent system constitutes an emerging property of the interaction between the application and its environment, mediated by the provided control layer.For demonstration purpose, the framework is prototyped in JADE [8, 9]. JADE was chosen because it is a representati...