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

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

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

Downloads

Published

2021-06-15

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

I assign to Informatica, An International Journal of Computing and Informatics ("Journal") the copyright in the manuscript identified above and any additional material (figures, tables, illustrations, software or other information intended for publication) submitted as part of or as a supplement to the manuscript ("Paper") in all forms and media throughout the world, in all languages, for the full term of copyright, effective when and if the article is accepted for publication. This transfer includes the right to reproduce and/or to distribute the Paper to other journals or digital libraries in electronic and online forms and systems.

I understand that I retain the rights to use the pre-prints, off-prints, accepted manuscript and published journal Paper for personal use, scholarly purposes and internal institutional use.

In certain cases, I can ask for retaining the publishing rights of the Paper. The Journal can permit or deny the request for publishing rights, to which I fully agree.

I declare that the submitted Paper is original, has been written by the stated authors and has not been published elsewhere nor is currently being considered for publication by any other journal and will not be submitted for such review while under review by this Journal.  The Paper contains no material that violates proprietary rights of any other person or entity. I have obtained written permission from copyright owners for any excerpts from copyrighted works that are included and have credited the sources in my article. I have informed the co-author(s) of the terms of this publishing agreement.


Copyright ©  Slovenian Society Informatika