Laboratoire MISC

Modélisation et Implémentation des Systèmes Complexes

Equipe MFGL

Présentation

L’Ingénierie Dirigée par les Modèles (IDM) est une approche de développement mettant à disposition de l'utilisateur des concepts, des langages et des outils. Les modèles sont considérés comme des éléments de base. Le raisonnement est entièrement à un haut niveau d'abstraction. L’application sera générée (en tout ou en partie, automatiquement ou semi-automatiquement) à partir de modèles. Les outils permettant de créer et d'exploiter ces modèles sont construits autour des concepts de Méta-modélisation et de Transformation de modèles.

Les méthodes formelles (MFs) sont des techniques basées sur les mathématiques permettant à la fois de modéliser le système et de vérifier les propriétés attendues Les méthodes formelles reposent sur l’utilisation de langages formels. Un langage formel est un langage doté d’une sémantique mathématique rigoureuse. Les principaux défis d’utilisation des MFs dans les activités de développement des systèmes sont liés à:

  • La difficulté réelle de manipuler les concepts théoriques et les méthodes d’analyse associées.
  • La difficulté pour les développeurs d’exprimer les propriétés du système d'une façon aisée.
Les travaux de cette équipe de recherche s’inscrivent dans domaine de l’Ingénierie Dirigée par les Modèles en général et dans la Transformation de Modèles à l’aide des Grammaires de Graphes en particulier. Ils ont pour objectif principal l’étude de la "Modélisation Multi-paradigmes" ainsi que la conception d'approches, d’outils et d’environnements pour le développement et la validation de logiciels basés sur la Transformation de Graphes destinée à faciliter l’utilisation des techniques d’analyse formelle au cours du cycle de développement des systèmes complexes.

La vérification des modèles comptent aujourd’hui parmi les enjeux les plus importants de l’IDM. L’IDM joue un rôle essentiel dans
l’introduction des MFs dans les activités de développement des systèmes Celle-ci repose sur:

  • La définition de langages formels par le biais de la méta-modélisation.
  • L’utilisation de transformations de modèles pour générer des modèles décrits dans ces langages formels.
A titre d'exemples, nous avons proposé les approches et outils suivants: La première contribution consiste en la proposition d’une approche et d'un outil basé sur la méta-modélisation et une grammaire de graphe qui assure la génération automatique des descriptions équivalentes en Maude à partir de modèles ECATNets. La deuxième contribution est la proposition d’une plate-forme formelle et d'un outil graphique pour la spécification et l’analyse des systèmes logiciels complexes en utilisant les G-Nets. L’approche proposée est basée sur la Méta-modélisation et les Grammaires de Graphes. L’outil proposé permet d’exploiter les différents langages et techniques formels dans un cadre uni dont le but est de cumuler leurs avantages. La troisième contribution est un effort dans la formalisation du langage UML par le biais des réseaux de Petri colorés. Plus précisément, un outil basé sur la Méta-modélisation et les Grammaires de Graphes pour transformer un digramme Etats-Transitions et un diagramme de collaboration en un modèle réseaux de Perti colorés afin de vérifier les propriétés comportementales des systèmes. L’analyse formelle des réseaux de Petri colorés est réalisée à l’aide de l’analyseur INA.

D'autres travaux son en cours et visent à explorer les autres outils de transformation de graphes tels que AGG, TGG, EMF, GMF, etc. Ils visent aussi intégrer d'autres méthodes formelles telles les algèbres de processus, le Pi-Calcul, la méthode B, etc. dans l'IDM.

Un autre axe de recherche commence à se développer au sein de notre équipe et consiste en la vérification des lignes de produits logiciels à l'aide de l'intégration des méthodes formelles dans l'IDM.

Membres

Chef d'équipe

  • Allaoua Chaoui

Membres permanents

  • Samira Abderrezak
  • Boubakeur Achichi
  • Mohamed Reda Bahri
  • Nabil Berrehouma
  • Mohamed Boubekir
  • Aouatef Chaib
  • Salima Djaaboub
  • Nardjès Dehimi
  • Raida El Mansouri
  • Khalil Elbaz
  • Mohamed Elkamel Hamdane
  • Houda Hamrouche
  • Abdelkamel Hettab
  • Salim Kebir
  • Elhilali Kerkouche
  • Mohamed Naoufel Kholladi
  • Karima Mahdi
  • Amel Meliouh
  • El Kamel Merah
  • Nabil Messaoudi
  • Rabah Mokhtari
  • Redouane Nouara
  • Yasmina Rahmoune
  • Seidali Rehab
  • Wahab Rouagat

Thésards LMD

  • Tarek Alloui
  • Mouna Aouag
  • Fayçal Bachtarzi
  • Serial Rayene Boussalia
  • Wafa Chama
  • Sofiane Chemaa

Activités Scientifiques

Mémoires de Master dirigés et soutenus

  1. Safia Latrach et Sabah Saadallah. Intitulé : “ Transformation d’un modèle ECATNets vers un modèle ECATNets réduit en utilisant ATOM3”, Date de soutenance :  Juillet 2010. Lieu de soutenance : Université de Constantine
  2. Belamri Meriem. Intitulé : “ L’assistant de preuve Coq : une étude de cas”, Date de soutenance :  Juillet 2010. Lieu de soutenance : Université de Constantine
  3. Bader Amina et Yaici Maroua. Intitulé : “ Transformation de modèles Rdps à Prédiicat/Transition vers Prolog : Approche basée transformation de graphes”, Date de soutenance :  Juillet 2010. Lieu de soutenance : Université de Constantine
  4. Bekrar Sofia et Bouarioua Mouna. Intitulé : “Application de l’approche de transformation de graphes pour la génération de graphes de refus mixtes à partir de transitions étiquetées maximales ”, Date de soutenance :  Juin 2009. Lieu de soutenance : Université de Constantine
  5. Kherroubi Fatih et Boumaza Mokhtar. Intitulé : “  Transformation de modèles vers Maude en utilisant AGG”, Date de soutenance :  Juin 2009. Lieu de soutenance : Université de Constantine

Mémoires de Magister dirigés et soutenus

  1. Mokhtari Rabah. Intitulé : “Modélisation des systèmes d’agents mobiles par les diagrammes d’activité d’UML 2.0”, Date de soutenance : 18 Juin 2008. Lieu de soutenance : Université de Guelma
  2. Zelit Saousen. Intitulé : “Modélisation d’un système d’agents mobiles par les ECATNets”, Date de soutenance : 2 Mars 2009. Lieu de soutenance : Université de Guelma
  3. Meliouh Amel. Intitulé : “Modélisation et Vérification des systèmes de production distribués à l’aide d’UML et des réseaux de Petri”, Date de soutenance : 12 Janvier  2009. Lieu de soutenance : Université de Biskra
  4. Saadi Wafa. Intitulé : “Un cadre formel pour  la vérification des modèles UML”, Date de soutenance :  12 Janvier  2009. Lieu de soutenance : Université de Biskra
  5. Hadjadj Smail. Intitulé : “Un environnement d’intégration d’outils des réseaux de Petri”, Date de soutenance :  28 Octobre 2009. Lieu de soutenance : Université de Biskra
  6. Mezati Messaoud, Intitulé : “Réseaux de Petri pour la modélisation des agents mobiles pour la synchronisation des workflows”, Date de soutenance :  31 Mars 2008. Lieu de soutenance: Université de Biskra
  7. Zernadji Tarek. Intitulé : “Une approche de modélisation des logiciels à base de composants par les réseaux de Petri ”, Date de soutenance :  14 Juin 2009, Lieu de soutenance : Université de Batna
  8. Tibermacine Okba, Intitulé : “UML et Model Checking   ”, Date de soutenance :  2009. Lieu de soutenance : Université de Batna
  9. Hettab Abdelkamel, Intitulé : “De UML-Mobile vers les réseaux de Petri Nested nets : Une approche basée transformation de graphes  ”, Date de soutenance :  10 Décembre 2009, Lieu de soutenance : Université de Constantine
  10. Kholladi Mohamed Naoufel, Intitulé : “ Une approche de transformation de la notation BPMN vers BPEL basée sur la transformation de graphes ”, Date de soutenance :  29 Octobre 2009. Lieu de soutenance : Université de Constantine.
  11. Rouagat Wahab, Intitulé : “ Rétro-Ingénierie des modèles comportementaux”, Date de soutenance :  28 Septembre 2010, Lieu de soutenance : Université de Batna
  12. Ilham Alkhollani, Intitulé : “ Incremental Learning using probabilistic Neural Networks and its application to face recognition ”, Date de soutenance :  02 Juillet 2008, Lieu de soutenance : Université de Constantine
  13. Belahreche Nadira (en co-encadrement ave Dr Souham Meshoul), Intitulé : “Optimisation multi-objectif pour l’alignement multiple de séquences  ”, Date de soutenance :  03 Juillet 2007, Lieu de soutenance : Université de Constantine

Thèses de Doctorat en Sciences dirigées et Soutenues

  1. Bahri Mohamed Redha, Intitulé : “ Une approche intégrée Mobile-UML/Réseaux de Petri pour l’analyse des systèm distribués  à base d’agents ”, Date de soutenance :  25 Mai 2010, Lieu de soutenance : Université de Constantine
  2. Merah Elkamel, Intitulé : “ Vers un langage du code mobile ”, Date de soutenance :  6 Juillet 2009, Lieu de soutenance : Université de Constantine
  3. Talbi Hichem, Intitulé : “Algorithmes évolutionnaires quantiques pour le recalge et la segmentationmultiobjectif d’images ”, Date de soutenance :  27 Octobre 2009, Lieu de soutenance : Université de Constantine
  4. Boudiaf Noura, Intitulé : “Développement des outils basés Maude pour les ECATNets - Domaine d’application : Analyse des programmes Ada » Date de soutenance :  10 Avril 2006, Lieu de soutenance : Université de Constantine

Membre dans des jurys de soutenances

Habilitation Universitaire:
  1. Mokhati Farid
  2. Amirat Abdelkrim
  3. Abdelli Abdelkrim
  4. Rachid Beghdad
Doctorat d’Etat:
  1. Salah Merniz
  2. Cherif Foudil
  3. Malika Ioualalalen
Doctorat en Sciences:
  1. Belala Nabil. Université Mentouri Constantine, 2010
  2. Belhadef Hacène. Université Mentouri Constantine, 2010
  3. Amirat Abdelkrim
  4. Dedouri Lakhdar. Université Mentouri Constantine, 2009
  5. Boutekkouk Fateh. Université Mentouri Constantine, 2009
  6. Korichi Ahmed. Université de Batna, 2009
  7. Nabila Salmi, USTHB, 2009

Coopération

  1. Laboratoire LI2E Dijon France (Pr Bourennane Elbey)
    • Membre de jury de soutenance de Doctorat
    • Co-encadrement de thèse de Berrehouma Nabil
    • Co-encadrement de thèse de Kerkouche Elhillali (soutenue en  2011)
  2. Laboratoire LIRMM, Univ. Montpellier II (Dr Seriai Djamel)
    • 2 communications internationales
    • Co-encadrement de thèse de Kebir Salim

Membre des comités de programmes de conférences et de revues

Pr Allaoua Chaoui a servi en tant que co-président du comité de programme (PC) des conférences suivantes:
  • MISC 2012, The Second  International Symposium on Modelling and Implementation of Complex Systems, Constantine, 20-21 April, 2012, Algeria
  • JNIAK’2012, Premières journées Nationale sur l’Informatique et ses Applications, 29-30 April 2012, Khenchela, Algeria
Il a servi en tant que membre du comité de programme (PC) des conférences suivantes:
  • WMNC'2013 : The 6th Joint IFIP Wireless and Mobile Networking Conference , April 23rd – 25th, 2013, Dubai, UAE
  • NDT’2012, The Fourth International Conference on Networked Digital Technologies, April 24-26, , 2012 Dubai, UAE
  • ICDIPC’2012, The Second International Conference on Digital Information Processing and Communications, July 10-12, 2012, Klapeida, Lithuania
  • ICDIPC’2013, The Third International Conference on Digital Information Processing and Communications, Jan. 30, 2013 – Feb. 1, 2013, Dubai, UAE
  • ICACIS’2012, International Conference on Advanced Communication and Information Systems, December 12-13, 2013, Batna, Algeria
  • ICESTI'12 : International Conference on Embedded Systems in Telecommunications and Instrumentation, November 5, 6 and 7, 2012, Annaba, Algeria
  • CTAACS'12: First Conference on Theoretical and Applicative Aspects of Computer Science. November 25-26, 2012, Skikda, Algeria
  • ICWIT 2012, The Fourth International conference on Web and Information Technologies, 29-30 April, 2012, Sidi-Belabbes, Algeria
  • JDI 2012, Deuxièmes Journées Doctorales en Informatique de Guelma, 4 - 5 November, 2012, Guelma, Algeria
  • ICADIWT 2012
  • COSI2013, Algiers, Algeria
  • ICWIT2013, Tunisia
  • ISPS’2007, Alger, 7-9 May 2007, Algeria
  • SNIB’2008, Biskra, 6-8 May 2008, Algeria
  • VECOS’2008, Leeds, 2-3 Juillet 2008, UK.
  • ICADIWT’2008, Ostrava, August 4-6, 2008, Czech Republic
  • CITIC’2009, Setif, May 3-5, 2009, Algérie.
  • IMAGE’2008, Guelma, November 9-10,2008, Algeria.
  • JSIA’2009, Guelma, Algeria
  • JCI’2008, Guelma
  • CIIA’2009, Saida, Algeria
  • ICADIWT’2009
  • NDT’2009
  • NDT’2010
  • ICADIWT’2010, Istanbul, July 14-16, 2010, Turkey
  • SNIB’2010, Biskra, 2-4 November 2010, Algeria
  • STA’2010, Tunisia
  • NASTEC’2010, USA
  • STIC’09
  • ICADIWT’2011, USA
  • STIC’2011, Tiaret, Algeria