Discussion sur la plateforme MIMOSA

1
Discussion sur la plate-forme MIMOSA

• Jean-Pierre Müller, CIRAD-TERA
• Équipe "Dynamique et usage des ressources et
  modélisation des systèmes complexes"

2
Introduction
3
Architecture

• Fournir les mécanismes de base pour la
  modélisation et la simulation
• Niveau I
• Fournir un vocabulaire pour le modélisateur quil
  puisse étendre à volonté
• Niveau 2
• Fournir un environnement de développement, de
  simulation et danalyse de modèles
• Niveau 3

4
Niveau 2 Un vocabulaire pour le modélisateur

• Les points de vue
• Les entités
• Espace représenté versus espace construit
• Temps représenté versus temps construit
• Le niveau méta

5
Les points de vue
6
Les points de vue (I)

• Un point de vue comprend
• Les rôles (ou types dentité)
• Les méthodes daccès aux instances (nommage)
• Un modèle ajoute à un point de vue
• Les relations (liens statiques)
• Les interactions (liens dynamiques)
• Divers descripteurs
• cardinalités, invariants, etc.

7
Les points de vue (II)
8
Les rôles (I)

• Les rôles (ou entités)
• La capacité dêtre mesuré
• La capacité de recevoir des influences/évènements
• Un ensemble de comportements
• Comprenant entre autres
• Des instruments de mesure
• Des agents
• Des horloges

9
Les rôles (II)
10
Nommage (I)

• Le procédé de nommage
• Ensemble des noms possibles
• Méthodes daccès à (aux) instance(s) par le nom
• Comprenant
• Noms de rôle ou dattribut
• Coordonnées
• Méthodes dindexation

11
Nommage (II)

• Schéma général
• Le cas des attributs

12
Nommage le cas de lespace
13
Nommage le cas du temps
14
Les interactions (I)

• Les interactions (ou comportements)
• Conditions-évènements
• Ensemble dinteractions (?)
• Comprenant
• Les changements affectant
• Une mesure dune entité
• Un ensemble de mesure dune même entité
• Les mesures de plusieurs entités

15
Les interactions (II)
16
Les instances (I)

• Il faut distinguer
• Les types de points de vue
• Les organisations sous la forme de type dentités
  avec les interactions et les méthodes daccès
• Les instances de points de vue
• Groupes dentités sur lesquelles vont sappliquer
  les interactions et les méthodes daccès

17
Les instances (II)
18
Les entités
19
Entité comme organisation (I)

• Une entité peut être composée dun ensemble
  dautres entités
• Un point de vue dans lequel lentité est un tout
• Un point de vue dans lequel elle est un ensemble
  dentités
• Composition comme une relation entre deux points
  de vue dans un troisième point de vue
• Une entité est en relation avec sa (ses)
  composition(s), éventuellement spatiale(s) et/ou
  temporelle(s)

20
Entité comme organisation (II)
21
Conséquence

• Relations comme nommage dune entité

22
Entité comme agent

• Deux visions
• Lagent comme une entité (un tout) à un certain
  niveau dabstraction
• Le corps (?)
• Lagent comme composé de différentes entités
  (mémoire, etc.)
• Le  cerveau  (?)

23
Entité comme environnement

• Une entité à un niveau supérieur est un
  environnement pour les entités quelle porte au
  niveau inférieur
• Peut avoir un espace qui lui est associé
• Peut avoir un temps qui lui est associé (à
  comparer avec SWARM)
• Implémentation
• Ensemble de nommages distincts sur les entités
  composantes

24
Conséquence

• Espace (et le temps) comme point de vue

25
Relations particulières (I)

• Les relations de composition
• Lient une entité comme un tout à une entité comme
  un ensemble dentités
• Les relations de position
• Lient une entité comme composant à une entité
  comme un tout comprenant
• lentité contenante
• le nom de lentité composante dans lentité
  contenante (nom dattribut ou coordonnée)

26
Relations particulières (II)

• Relations de conversion
• Conversion dune entité composante dune entité
  dans une entité composante dune autre entité
• Changement de point de vue
• Conversion dun nom dans un nommage dans un nom
  dun autre nommage
• Changement de point de vue
• Changement de coordonnées

27
Relations particulières (III)
28
Les mesures

• Structure dune mesure
• Par son instrument de mesure
• Par des paramètres
• Par le type du résultat attendu pour conversion
  éventuelle
• Règles de passage dun type à lautre (p.e. dun
  espace à lautre)
• Le traitement dune mesure
• Calcul du résultat converti à partir des
  relations

29
Espace et temps
30
Espace construit et représenté

• Espace représenté
• Espace a priori
• Les entités sont placés dans l espace
• Espace construit
• Les entités et leurs relations a priori
• Lespace est induit à partir des relations

31
Espace représenté (I)
32
Espace représenté (II)
33
Espace construit (I)
Parcelles foncières

• Les parcelles

Parcelles fiscales
Parcelles culturales
Espace induit
34
Espace construit (II)

• Conséquence
• Le nombre de lieux varie au cours du temps
• Mise en relation entité/lieu

Entitélieu
 Algèbre de Allen  des surfaces
Notion de lieu indépendante des entités
35
Temps représenté
36
Temps construit (I)

• Temps par instant
• Temps comme succession des évènements
• Temps par intervalle
• Temps comme succession des états

Vie
enfant
adulte
3ème age
Période
célibataire
marié
Etat civil
Temps induit
37
Temps construit (II)
Dualité Évènement/état
Evènement ou étattemps
Algèbre de Allen

Notion de temps indépendante des entités
Dualité Instant/intervalle
38
Temps construit (suite)

• Temps construit et simulation
• La simulation déroule le temps
• Simulation évènementielle
• Simulation synchrone événements distingués (tops
  dhorloge)
• Question évènements simultanés, synchronisation
  ?
• Lobservateur doit passer du temps déroulé au
  temps représenté
• Reconstruction des successions
• Calage sur une mesure du temps (heure, min, sec)

39
La dynamique
40
Noms et valeurs

• Nom dun ou plusieurs rôles (entités)
• Cest un couple (groupe,nom) où
• Le nom appartient à lespace de nommage du groupe
• Valeur dun nom de rôle
• Le ou les rôles désignés par le nom
• Problème de cardinalité
• Un nom désigne toujours un ensemble vide, un
  élément, plusieurs éléments

41
Les évènements

• Evènement
• Signalement du changement de la valeur dun nom
  de rôle
• Structure
• (groupe, nom)
• Changement ajout, retrait, modification
• Entité
• Facultatif en modification ancienne entité

42
Les actions

• Action
• Changement de la valeur dun nom
• Structure
• (groupe,nom)
• Changement ajout, retrait, modification
• Nouvelle valeur
• Facultatif en modification ancienne valeur
• Remarque toute action provoque un évènement

43
Modèles dexécution

• Modèles asynchrones
• Une entité sabonne à un ensemble de noms
  dentité
• Chaque modification est transmise à lentité
• Modèles synchrones
• Une entité sabonne à un nom dentité distingué
  (top dune horloge)
• Chaque top est transmis à lentité
• Modèles mixtes

44
Le niveau méta
45
Le niveau méta

• Quelques pistes
• Le groupe comme un type
• Lentrée et la sortie dun groupe comme un modèle
• Dynamique des groupes
• Contrôle de la création de scénarios
• La modification dun nommage comme un modèle
• Un point de vue comme un point de vue
• Les RoleType sont les instances
• Leur nommage par le même mécanisme
• Les relations comme un point de vue
• Nommage des rôles de la relation