Statecharts: A visual formalism for complex systems
Science of Computer Programming
Temporal verification of reactive systems: safety
Temporal verification of reactive systems: safety
A methodology for agent-oriented analysis and design
Proceedings of the third annual conference on Autonomous Agents
Formal Specification and Prototyping of Multi-agent Systems
ESAW '00 Proceedings of the First International Workshop on Engineering Societies in the Agent World: Revised Papers
Heterogeneous formal specification based on Object-Z and statecharts: semantics and verification
Journal of Systems and Software
An adaptative agent architecture for holonic multi-agent systems
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
An analysis and design concept for self-organization in holonic multi-agent systems
ESOA'06 Proceedings of the 4th international conference on Engineering self-organising systems
A holonic approach to model and deploy large scale simulations
MABS'06 Proceedings of the 2006 international conference on Multi-agent-based simulation VII
Holonic modeling of environments for situated multi-agent systems
E4MAS'05 Proceedings of the 2nd international conference on Environments for Multi-Agent Systems
Holonification of a network of agents based on graph theory
KES-AMSTA'12 Proceedings of the 6th KES international conference on Agent and Multi-Agent Systems: technologies and applications
Holonic multi-agent system for traffic signals control
Engineering Applications of Artificial Intelligence
HOMAN, a learning based negotiation method for holonic multi-agent systems
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology
Hi-index | 0.00 |
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.