Formal Specification of Holonic Multi-Agent Systems Framework

  title={Formal Specification of Holonic Multi-Agent Systems Framework},
  author={Sebastian Rodriguez and Vincent Hilaire and Abder Koukam},
  booktitle={International Conference on Computational Science},
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… CONTINUE READING