IIham ALLOUI

Thèmes de recherche

 Thématique de recherche ReGaRD

• Modélisation et analyse de systèmes logiciels évolutifs
• Langages et outils pour les processus et architectures logiciels
• Ingénierie dirigée par les modèles
• Ingénierie de systèmes logiciels intelligents distribués

Mes activités de recherche au cours de 4 périodes principales :

– 1998-2005 : utilisation d’approches formelles pour décrire, analyser, mettre en oeuvre et faire évoluer des processus et architectures logiciels : (a) approches logiques modales, de réécriture d’ordre supérieur ; (b) algèbre de processus (pi-calcul notamment).

– 2005-2009 : élaboration de méthodes, outils et langages informatiques pour la ré-architecturisation d’applications logicielles : (1) (méta-)modélisation et ingénierie dirigée par les modèles ; (2) l’analyse de l’évolution de ces systèmes du point de vue de la préservation ou non des propriétés non fonctionnelles en utilisant des algèbres de processus ; (c) outils visuels pour l’aide à la remodularisation d’architectures de code source objet en utilisant des méthodes heuristiques.

– 2009-2015 : participation au projet FUI OpenCloudware dans la définition d’un langage exécutable de description d’architectures cloud orientée service ; porteuse du projet AAP2012 EcoCitoyen (USMB) de collaboration avec des collègues italiens sur des approches fondées sur les Processus Décisionnels de Markov et leur utilisation potentielle dans la modélisation du comportements des usagers d’un système domotique.

– 2015-… : systèmes logiciels intelligents répartis et adaptatifs. Co-conception d’un framework orienté objet qui permet de développer des systèmes intelligents adaptatifs. Ce framework logiciel fondé sur le concept d’objet « sage » « Wise Object, WO » permet au système d’apprendre de manière autonome (mécanismes d’introspection) sur : (a) les services qu’il est sensé rendre et (b) la manière dont il est utilisé.

Co-encadrement de thèses

• Karim Megzari. Directeur : F. Oquendo. Co-encadrant : I. Alloui. Refiner : Environnement logiciel pour le raffinement d’architectures logicielles fondé sur une logique de réécriture. Thèse de l’Université Savoie Mont Blanc, décembre 2004.
• Hani Abdeen. Directeur l S. Ducasse. Co-encadrant : I. Alloui. Remodularisation d’applications logicielles orientées objet, Thèse de l’Université Lille1, novembre 2006.
• Abdelhafid Dahhani. Directeur S. Monnet, co-encadreants : F. Vernier, I. Alloui. Conception et mise en œuvre d’un système de représentation et de manipulation de la connaissance des Objets Sages (WO). Thèse de l’Université Savoie Mont Blanc. Début : octobre 2020.
• Sylvain Lejamble. Directeur S. Monnet, co-encadrants : F. Vernier, I. Alloui. Conception et mise en œuvre d’un système de représentation et de manipulation de la connaissance des Objets Sages (WO) pour la détection de fraude au sein des systèmes bancaires. Thèse de l’Université Savoie Mont Blanc. Début : septembre 2021.

Enseignement à Polytech Annecy-Chambéry

• Ingénierie dirigée par les modèles
• Architectures logicielles
• Qualité, test et maintenance de logiciel
• Bases de données avancées
• Programmation logique et systèmes intelligents
• Outils formels et programmation fonctionnelle
• Gestion de projets

Publications.

référencées dans HAL

Parcours professionnel

• Maître de conférences en informatique depuis 1998 à l’Université Savoie Mont Blanc

• Doctorat informatique 1992-1996, Univ. Grenoble II

• Allocataire de recherche 1991, projet ESPRIT Business Class, Univ. Grenoble II
• DEA informatique 1989-1990, Univ. Grenoble II