@ARTICLE{Rodriguez2007FormalHolonic,
    author = {Rodriguez, Sebastian and Hilaire, Vincent and Koukam, Abder},
     month = mar,
     title = {A Formal Holonic Framework with prooved Self-Organizing Capabilities},
   journal = {International Journal of Cooperative Information Systems},
    volume = {16},
    number = {1},
      year = {2007},
     pages = {7--25},
       doi = {10.1142/S0218843007001548},
  abstract = {Numerous works aim to design agents and multi-agent systems architectures in order to enable cooperation and coordination between agents. Most of them use organizational structures or societies metaphor to define the MAS architecture. It seems improbable that a rigid unscalable organization could handle a real world problem, so it is interesting to provide agents with abilities to self-organize according to problem's objectives and environment dynamics. We have chosen the holonic paradigm to provide these abilities to agents. Holons are recursive self-similar entities which are organized in an emergent society — an holarchy. The aim of this paper is to present a formally specified framework for holonic MAS which allows agents to self-organize. The framework is illustrated by an example drawn from a real world problem. Some pertinent properties concerning the self-organizing capabilities of this framework are then proved.}
}