Menu

UPPA

LIUPPA

Eric Cariou
Département Informatique
Université de Pau et des pays de l'Adour
Avenue de l'Université
BP 1155
64013 PAU CEDEX
France

Mél : Eric.Cariou@univ-pau.fr

Ma photo

Maître de conférences au département informatique de l'université de Pau
Membre du LIUPPA, équipe MOVIES

Positions précédentes :
1999-2003 : doctorant au département Informatique de l'ENST Bretagne et dans l'équipe Triskell de l'Irisa
2003-2004 : post-doctorant dans l'équipe GOAL du LIFL

Enseignement

Responsable des cours, université de Pau :

Enseignements extérieurs, en collaboration avec l'université de Pau :

Autres :

Recherche

Thématiques de recherche :

  • Ingénierie des modèles (IDM) : vérification par contrats de transformations et d'exécution de modèles, adaptation d'exécution de modèles
  • Architecture logicielle : intégration des approches composants et agents par des services, composants de communication
Keywords
Nuage de mots basé sur les titres des articles sélectionnés cités ci-dessous

Vérification par contrats en IDM. Lors de mon post-doctorat au LIFL, j'ai défini le concept de contrat de transformation de modèles. A mon arrivée à l'université de Pau, j'ai repris ces travaux sur les contrats en développant un outillage pour aider à l'implémentation de ces contrats pour la plateforme EMF. Ils ont été également adaptés pour vérifier l'exécution de modèles. Ces travaux se continuent actuellement dans le cadre de la thèse de Meriem Lahrouni (2012- ) à la Faculté des Sciences Semlalia de Marrakech, Maroc.
[Principales publications et outils]

Adaptation d'exécution de modèles. L'IDM a montré son intérêt pour l'adaptation logicielle grâce au models@runtime dont le principe est d'avoir à l'exécution un modèle qui reflète l'état du système en cours d'exécution et de raisonner sur la nécessité d'adaptation du système à partir de ce modèle. Dans un contexte d'exécution de modèles, le modèle exécuté devient par principe le système. Dans ce cas, l'idée est d'adapter directement le modèle exécuté. La thèse de Samson Pierre (2012- ) a pour objectif d'étudier cette adaptation d'exécution de modèles.
[Principales publications]

Intégration des approches composants et agents. Je co-encadre la thèse de Nour Aboud (2008-2012) dont le but est d'intégrer les approches composants et agents via des services. L'idée générale est de pouvoir définir des applications simultanément par des composants et des agents interopérants et de pouvoir faire utiliser les caractéristiques d'une approche aux éléments de l'autre approche (agents dans des structures composites de type composants, interactions de haut niveau des agents utilisables par des composants, ...). Les services servent de pivot d'interopérabilité entre les composants et agents.
[Principales publications]

Composants de communication. En Juin 2003, j'ai soutenu à l'Université de Rennes 1 et à l'ENST Bretagne une thèse intitulée Contribution à un Processus de Réification d'Abstractions de Communication. Dans cette thèse, j'ai défini un processus permettant de manipuler une abstraction de communication sous forme de composant logiciel (un composant de communication ou médium) de sa spécification abstraite jusqu'à son ou ses implémentations. Pendant tout le cycle de développement du logiciel, l'abstraction de communication réifiée et manipulée reste la même. L'intérêt de ces composants de communication est de pouvoir réutiliser facilement des abstractions de communication et d'en définir des variantes d'implémentation substituables.
[Principales publications]

Publications

Liste complète de mes publications

Profil Google scholar

Sélection par thème


Contrats pour l'Ingénierie des Modèles

Les outils et exemples présentés dans les articles du workshop OCL'09 et d'ECMFA'11 sont disponibles ici.

Adaptation d'exécution de modèles

Intégration des approches composants et agents par des services

En complément, la thèse de doctorat de Nour Aboud à l'Université de Pau et des Pays de l'Adour (décembre 2012) : Service-Oriented Integration of Component and Organizational MultiAgent Models.

Composants de Communication


Eric Cariou - Dernière modification : 20/12/2013