Towards a formal multi-agent organizational modeling framework based on category theory

Abstract

Multi-agent organizational modeling frameworks can be considered as an efficient solution regarding the distributed applications’ problems such as task bundle mechanisms, supply chain management, as well as air traffic control. The main objective of this paper is to provide a solution based on a solid mathematical theory for the modeling, the analysis and the verification of artificial organizations properties, and particularly those of Multi-Agent Systems (MASs). Category theory is a mathematical formalism used to categorically study the logics of organizations in different societies. Therefore, it can be projected on artificial organizations in a categorical way. Our work is revolved around the idea of modeling Multi-Agents organization using category theory. In other words, it consists on the transformation of Agent-Group-Role (AGR) organizational model in a categorical way in order to obtain a formal semantics model describing the MAS organization. This formal model allows the analysis, the verification and also the validation of the main concepts of an organization at a high level of abstraction

Authors

  • Abdelghani Boudjidj Ecole nationale Supérieure d’Informatique (ESI), BP 68M, 16270, Oued-Smar Algiers, Algeria ICOSI Lab University, Abbes Laghrour khenchela BP 1252 El Houria 40004 Khenchela, Algeria
  • Elkamel Merah ICOSI Lab University, Abbes Laghrour khenchela BP 1252 El Houria 40004 Khenchela, Algeria
  • Mohammed El Habib Souidi ICOSI Lab University, Abbes Laghrour khenchela BP 1252 El Houria 40004 Khenchela, Algeria

DOI:

https://doi.org/10.31449/inf.v45i2.2967

Downloads

Published

06/15/2021

How to Cite

Boudjidj, A., Merah, E., & Souidi, M. E. H. (2021). Towards a formal multi-agent organizational modeling framework based on category theory. Informatica, 45(2). https://doi.org/10.31449/inf.v45i2.2967

Issue

Vol. 45 No. 2 (2021)

Section

Regular papers

License

Authors retain copyright in their work. By submitting to and publishing with Informatica, authors grant the publisher (Slovene Society Informatika) the non-exclusive right to publish, reproduce, and distribute the article and to identify itself as the original publisher.

All articles are published under the Creative Commons Attribution license CC BY 3.0. Under this license, others may share and adapt the work for any purpose, provided appropriate credit is given and changes (if any) are indicated.

Authors may deposit and share the submitted version, accepted manuscript, and published version, provided the original publication in Informatica is properly cited.