Towards a formal multi-agent organizational modeling framework based on category theory. - Abdelghani Boudjidj; Elkamel Merah; Mohammed El Habib Souidi (Informatica (Slovenia), 2021)