Mohammed Redjimi

Work place: Universite 20 Aout 1955- Department of Computer Science, Skikda, 21000, Algeria



Research Interests: Software Construction, Software Development Process, Software Engineering, Data Structures and Algorithms


Mohammed Redjimi is a fulltime professor at university 20 Aout 1955- Skikda, Algeria. He obtained a PhD in Computer Science from Universite des sciences et techniques, Lille 1, France  in 1984 and the ‘Habilitation universitaire’ from University Badji   Mokhtar, Annaba, Algeria in 2007. His present research interests include modeling and simulation, software engineering and multi-agent systems.

Author Articles
Towards a Meta-Modeling and Verification Approach of Multi-Agent Systems Based on the Agent Petri Net Formalism

By Amel Dembri Mohammed Redjimi

DOI:, Pub. Date: 8 Jun. 2019

The Agent Petri Nets (APN) formalism provides a set of adapted and specific tools, relations and functions for modeling multi-agent systems (MAS). However, there is a lack of tools for verifying the APN models. In order to fill some of these gaps, we propose in this paper, a meta-modeling approach based on the Model Driven Architecture (MDA). The Eclipse Modeling Framework (EMF) permits to define a generic APN Meta-model in Ecore informal format. Its abstraction level is very high, it offers as a basis for developing system models dedicated to various specific domains. In addition, the Object Constraint Language (OCL) aims to increase the structural verification level of the model and the Graphical Modeling Framework (GMF), for its part, is concerned with generating a graphical editor associated with the APN meta-model. Thus, we combine the rigor of APN formalism with the power of the MDA-based meta-modeling tools for verifying APN models.

[...] Read more.
Other Articles