Formal Specification of Multi-Agent System Architecture

  title={Formal Specification of Multi-Agent System Architecture},
  author={Ahmed T. Dib and Za{\"i}di Sahnoun},
Multi-Agent Systems (MAS) are an emerging paradigm that has high potentials for developing distributed, open and concurrent complex systems. These systems often need to operate in dynamic environments and face the challenges of handling continuously changing requirements. These aspects increase the complexity of designing MAS. To handle the complexity and… CONTINUE READING