Formal Specification of Holonic Multi-Agent Systems Framework
نویسندگان
چکیده
Even if software agents and multi-agent systems (MAS) are recognized as both useful abstractions and effective technologies for modeling and building complex distributed applications, they are still difficult to engineer. When massive number of autonomous components interact it is very difficult to predict the behavior of the system and guarantee that the desired functionalities will be fulfilled. Moreover, it seems improbable that a rigid unscalable organization could handle a real world problem. This paper presents a holonic framework where agents exhibit self-organization according to the tasks at hand. We specify formally this framework and prove some properties on the possible evolutions of these systems. HolonicMulti -Agent Systems, self-organised system, formal specification, model checking
منابع مشابه
Modeling Lateral Communication in Holonic Multi Agent Systems
Agents, in a multi agent system, communicate with each other through the process of exchanging messages which is called dialogue. Multi agent organization is generally used to optimize agents’ communications. Holonic organization demonstrates a self-similar recursive and hierarchical structure in which each holon may include some other holons. In a holonic system, lateral communication occurs b...
متن کاملFormal Specification of Holonic Control System ADACOR Product Holon, using High-Level Petri Nets
Holonic manufacturing and multi-agent paradigms are suitable to support tbe actual challenges of flexible manufac turing systems, due to their decentralisation, modularity and autonomy features. The formal specification assumes a critical role in order to understand and synthesise those complex systems. The Petri Nets formalism is adequate to model and validate the dynamic behaviour, but presen...
متن کاملEngineering Hierarchical Complex Systems: An Agent-Based Approach. The Case of Flexible Manufacturing Systems
This article introduces a formal model to specify, model and validate hierarchical complex systems described at different levels of analysis. It relies on concepts that have been developed in the multi-agentbased simulation (MABS) literature: level, influence and reaction. One application of such model is the specification of hierarchical complex systems, in which decisional capacities are dyna...
متن کاملTo a Formal Modeling Approach of Error Recovery in Production Systems Based on Holonic Multi-agent Systems Specification
Production systems must be reconfigurable and endowed with methods and tools allowing an automatic recovery of expected and unexpected errors. In this domain, error recovery in production systems is always an open problem. Multiagent systems seem to be adapted for representing this kind of problem in an attempt to arrive at a reconfigurable, adaptive, and “intelligent” manufacturing systems. Th...
متن کاملFormal Specification of Multi-Agent Systems: A Real-World Case
In this paper the framework DESIRE, originally designed for formal specification of complex reasoning systems is used to specify a real-world multi-agent application on a conceptual level. Some extensions to DESIRE are introduced to obtain a useful formal specification framework for multi-agent systems.
متن کامل