THÈSE soutenue en vue de l'obtention du titre de

Niveau: Supérieur, Doctorat, Bac+8
Année : 2008 THÈSE soutenue en vue de l'obtention du titre de DOCTEUR EN INFORMATIQUE DE L'UNIVERSITÉ DE TOULOUSE délivré par l'INSTITUT NATIONAL POLYTECHNIQUE DE TOULOUSE Approche de métamodélisation pour la simulation et la vérification de modèle Application à l'ingénierie des procédés Présentée et soutenue publiquement par BENOÎT COMBEMALE le 11 juillet 2008 à l'ENSEEIHT, devant le jury composé des membres suivants : Rapporteurs : Jean BÉZIVIN Professeur, INRIA-ATLAS, Université de Nantes Pierre-Alain MULLER Professeur, Université de Haute-Alsace Examinateurs : Antoine BEUGNARD (président) Professeur, ENST de Bretagne François VERNADAT Professeur, LAAS CNRS, Université de Toulouse Bernard COULETTE Professeur, IRIT, Université de Toulouse Xavier CRÉGUT (encadrant) Maître de conférences, IRIT, Université de Toulouse Invités : Patrick FARAIL AIRBUS France ÉCOLE DOCTORALE MITT «Mathématiques Informatique et Télécommunications de Toulouse » Directeurs : Patrick SALLÉ (IRIT, ENSEEIHT) et Bernard COULETTE (IRIT, UTM) Laboratoire : Institut de Recherche en Informatique de Toulouse (IRIT, UMR 5505)

• cadre formel pour la métamodélisation


• regard des travaux existants dans l'idm et de l'expérience acquise avec les langages de programmation


• merci


• ticulièrement du langage spem


• ton


• idm


• simulation des modèles xspem


• éternel merci