Treuil IRD Abdelwahed FSSM-Marrakech INTRODUCTION Cadre : Modélisation et simulation en dynamique des populations Deux approches : modèles en densité versus modèles individu-centrés Notre contribution : un cadre générique pour la modélisation et la simulation individu-centrée JFIADSMA 2002 Treuil IRD Abdelwahed FSSM-Marrakech
VERS DES MODELES INDIVIDU-CENTRES MIEUX MAITRISES Les écueils des modèles individu-centrés Difficile à analyser Difficile à comprendre Difficile à communiquer Crédibilité scientifique affectée JFIADSMA 2002 Treuil IRD Abdelwahed FSSM-Marrakech
VERS DES MODELES INDIVIDU-CENTRES MIEUX MAITRISES Les voies d ’une meilleure efficacité scientifique. (Volker Grimm, Natural resource modeling, 15/1 2002) Des librairies de programmes largement partagées (ex : Swarm) Des plate-formes logicielles génériques (ex : Stella) Des cadres généraux conceptuels de description fournissant des moyens de décrire les modèles indépendamment de leur finalité et de leur implémentation JFIADSMA 2002 Treuil IRD Abdelwahed FSSM-Marrakech
Treuil IRD Abdelwahed FSSM-Marrakech Construire un cadre général pour les modèles individu-centrés (I) Les sources des difficultés Populations dynamiques nombre variable d’entités Entités composites des entités complexes formées d ’entités élémentaires Groupes des entités rassemblées en associations plus ou moins temporaires Hétérogénéité temporelle des opérations agissant à des résolutions temporelles très différentes JFIADSMA 2002 Treuil IRD Abdelwahed FSSM-Marrakech
Treuil IRD Abdelwahed FSSM-Marrakech Construire un cadre général pour les modèles individu-centrés (II) Un schéma conceptuel de base Un ensemble E d’entités I Un ensemble A d’aspects J Un ensemble T de types K Valeur a d’un aspect J : une application d’un sous ensemble D(a) d’entités dans un type K K(J) type associé à l’aspect J A(J) ensemble des valeurs possibles d’un aspect J D(a) champ ou groupe associé à l’aspect J Un ensemble O d’opérations P modifiant les valeurs des aspects P : A(1)*A(2)….*A(K)*…. A(1)*A(2)….*A(K)*… JFIADSMA 2002 Treuil IRD Abdelwahed FSSM-Marrakech
Treuil IRD Abdelwahed FSSM-Marrakech Vocabulaire proposé pour parler des modèles : Entité, Propriété, Mesure, Rôle, Type, Valeur, Groupe, Champs … Propriété Valeur Nom de propriété Indexation Porte sur une Type de Valeur Est une instance d ’un Entité Prend une Groupe Rôle Nom de rôle Entité Indexation Possède un Est joué par Système De rôles Est une instance d ’un Est associé à Champ Mesure Valeur Entité Indexations Prend une Porte sur une Type de Valeur Est une instance d ’un A pour Limite un Domaine Dans un JFIADSMA 2002 Treuil IRD Abdelwahed FSSM-Marrakech
Treuil IRD Abdelwahed FSSM-Marrakech Proposition d ’un vocabulaire pour parler des modèles : Articulation ENTITES, MESURES, CHAMPS, TYPES Champ A Champ B Mes . ... Entité 1 Entité 4 Entité 2 Entité 3 Entité 5 Entité 6 Un certain type Groupe A Groupe B Rôles . ... Entité 1 Entité 4 Entité 2 Entité 3 Entité 5 Entité 6 Un Système de rôles JFIADSMA 2002 Treuil IRD Abdelwahed FSSM-Marrakech
Treuil IRD Abdelwahed FSSM-Marrakech Du Modèle à sa Programmation, proposition de structure informatique ENTITE, CHAMP, GROUPE, OPERATION, SEQUENCE (d ’opération) Entité Champ Groupe Séquence Est une Regroupe ou Combine des Opération JFIADSMA 2002 Treuil IRD Abdelwahed FSSM-Marrakech
Proposition d ’un vocabulaire pour parler des modèles : OPERATION Opération : transformation discrète de certaines propriétés et/ou de certains champs ou groupes, s ’exécutant selon des règles fixées. Transformation d ’un champ : déplacements d ’entités à l ’intérieur du champ entrées d ’entités dans le champ, sorties d ’entités Transformation d ’un groupe : changements de rôles d ’entités à l ’intérieur du groupe entrées d ’entités dans le groupe, sorties d ’entités JFIADSMA 2002 Treuil IRD Abdelwahed FSSM-Marrakech
Proposition d ’un vocabulaire pour parler des modèles : MODELE Modèle (dynamique) : une description du monde, composée D ’un ensemble d ’entités, de propriétés, de mesures et de rôles, de champs et de groupes D ’un ensemble de opérations (avec leurs règles) D ’une description de l ’enchaînement des opérations dans le temps en lien avec un ou plusieurs opérateurs. JFIADSMA 2002 Treuil IRD Abdelwahed FSSM-Marrakech
CADRE PROPOSE POUR LA PROGRAMMATION Trois paquets de classes : Un paquet « espace » réservé aux classes décrivant des types, leurs valeurs et certains domaines pour ces valeurs C ’est un paquet générique, utilisable dans plusieurs modèles. Un paquet « modélisation » réservé aux classes décrivant le comportement général des des entités, des champs, des groupes, des opérations et des opérateurs. C ’est également un paquet générique, Un paquet spécifique à chaque modèle, composé de classes héritant du paquet modélisation, JFIADSMA 2002 Treuil IRD Abdelwahed FSSM-Marrakech