Discussion sur la plate-forme CORMAS/BIOSMART II

Discussion sur la plate-forme CORMAS/BIOSMART II

Jean-Pierre Müller, CIRAD-TERAÉquipe "Dynamique et usage des ressources

et modélisation des systèmes complexes"

TERA-ERE/CORMAS II

Ordre du jourOrdre du jour

Etat des démarches Discussions sur la plate-forme

ObjectifsConcepts à mobiliser

Suite à donner/répartition des rôles

TERA-ERE/CORMAS II

Le projetLe projet Opportunité

Position minimaliste:– Mise en commun d’outils disparates

Position intermédiaire:– Langage commun d’échange de modèle

Position maximaliste– Plateforme commune

Situation par rapport à l’existantarguments

TERA-ERE/CORMAS II

Les spécificationsLes spécifications Structure de la plateforme

DistributionInteractivité (réalité virtuelle)Facilité de programmation des modèlesInter-opérabilitéOutils de visualisation, interprétation et gestion des scénariosMulti-modèle (couplage)SMA massif

TERA-ERE/CORMAS II

Les spécifications (suite)Les spécifications (suite) Couverture méthodologique

Multi-niveauMulti-point de vueMulti-échelle

Couverture thématiqueGestion des ressourcesDynamique des populationsDynamiques spatialisées

TERA-ERE/CORMAS II

ArchitectureArchitecture Fournir les mécanismes de base pour la modélisation et

la simulationNiveau I

Fournir un vocabulaire pour le modélisateur qu’il puisse étendre à volonté

Niveau 2 Fournir un environnement de développement, de

simulation et d’analyse de modèlesNiveau 3

TERA-ERE/CORMAS II

RemarquesRemarques

Agent (ou AGR) niveau 1 différent de agent niveau 2

Espace en soi ou simple attribut La notion d’agent « implicité » au niveau 2 Le nom

TERA-ERE/CORMAS II

Niveau 2: Un vocabulaire pour le modélisateurNiveau 2: Un vocabulaire pour le modélisateur

Les points de vue Espace représenté versus espace construit Temps représenté versus temps construit Les entités et leurs mesures Les dynamiques Les agents

TERA-ERE/CORMAS II

Les points de vueLes points de vue

EntitésStructure de descriptionMesuresEvènementsComprenant:– Des instruments de mesure– Des agents– Des horloges

TERA-ERE/CORMAS II

Les points de vue (suite)Les points de vue (suite)

InteractionsConditions-évènements ou relationsEnsemble d’interactions (?)Comprenant:– Les contraintes (instantanées)– Les changements affectant:

Une mesure d’une entité Un ensemble de mesure d’une même entité Les mesures de plusieurs entités

TERA-ERE/CORMAS II

Les points de vue (suite)Les points de vue (suite)ViewPoint

SituatedViewPoint

Place

+getEntity(e:EntityType, t:TimeSpan): Entity

Date

Orientation

Model

OrganisationSynonym

Observateur

Modélisateur

Agent ouavatar

Space

+getEntity(e:EntityType, p:Place, t:TimeSpan): Entity

Time

+getEvent(e:EvenType, p:Space, t:TimeSpan):+getEvent(e:EventType, t:TimeSpan): Event

1

+1

+

Entity

+getMeasure(i:MeasureInstrument, p:Parameters):+applyEvent(e:Event, p:Parameters): void

TERA-ERE/CORMAS II

Espace construit et représentéEspace construit et représenté

Espace représenté:Espace a prioriLes entités sont placés dans l ’espace

Espace construit:Les entités et leurs relations a prioriL’espace est induit à partir des relations

TERA-ERE/CORMAS II

Espace représentéEspace représenté

Space

+getEntity(e:EntityType, p:Place, t:TimeSpan): Entity+getEntity(e:EntityType, p:Place): Entity

TopologicalSpace

MetricSpace SpatialReference

SpatialRelation

Scale

Unit Resolution

2

*

OrganizationalSpace

DiscreteSpace ContinuousSpace

Synonym

Metadescription

2D and3D grids

Place

+getEntity(e:EntityType, t:TimeSpan): Entity+getEntity(e:EntityType): Entity

Orientationdefines

defines

defines

TopologicalPlace

+getNeighbours(r:SpatialRelation, t:TimeSpan): Place+getNeighbours(r:SpatialRelation): Place

Distance defines

Hole

MetricPlace

+getEntity(e:EntityType, d:Distance, t:TimeSpan): Entity+getEntity(e:EntityType, d:Distance): Entity

TERA-ERE/CORMAS II

Espace construitEspace construit

Les parcelles Parcellesfoncières

Parcellesculturales

Parcellesimpôts

Espaceinduit

TERA-ERE/CORMAS II

Espace construit (suite)Espace construit (suite)

Entité=lieu

Notion de lieuindépendante

des entités

« Algèbrede Allen »

des surfaces

TERA-ERE/CORMAS II

Temps représentéTemps représenté

TimeSpan

+getEvent(e:EventType, p:Place): Event+getEvent(e:EventType): Event

Scale

Time

+getEvent(e:EvenType, p:Space, t:TimeSpan): Event+getEvent(e:EventType, t:TimeSpan): Event

TemporalReference

Unit

OrdinalTime

CardinalTime

TemporalRelation2

*

DiscreteTime ContinuousTime Resolution

defines

defines

Metadescription

Interval orinstant

TopologicalTimeSpan

+getNeighbours(r:TemporalRelation, p:Place): TimeSpan+getNeighbours(r:TemporalRelation): TimeSpan

MetricTimeSpan

+getEvent(e:EventType, d:TemporalDistance, p:Place): Event+getEvent(e:EventType, d:TemporalDistance): Event

TemporalDistance defines

TERA-ERE/CORMAS II

Temps construitTemps construit

Temps par instantTemps comme succession des évènements

Temps par intervalleTemps comme succession des états

Vie

Période

Etat civil

enfant adulte 3ème age

célibataire marié

Temps induit

TERA-ERE/CORMAS II

Temps construit (suite)Temps construit (suite)

Evènement ou état=temps

Notion de tempsindépendante

des entités

Algèbrede Allen

+

DualitéÉvènement/état

DualitéInstant/intervalle

TERA-ERE/CORMAS II

Temps construit (suite)Temps construit (suite)

Temps construit et simulationLa simulation déroule le temps– Simulation évènementielle– Simulation synchrone: événements distingués (tops

d’horloge)– Question: évènements simultanés, synchronisation ?

L’observateur doit passer du temps déroulé au temps représenté

– Reconstruction des successions– Calage sur une mesure du temps (heure, min, sec)

TERA-ERE/CORMAS II

Les entitésLes entités Les types

Cardinalitycardinality

Composition

gère lanotion degroupe

Filiation

EntityType

-name: String

AttributeType

-name: String

domain

LocationhasOrientation

hasShape

MeasureInstrument

NumberSymbol

inheritance

Shape

TimeSpan

+getEvent(e:EventType, p:Place): Event+getEvent(e:EventType): Event

Place

+getEntity(e:EntityType, t:TimeSpan):

OrientationHole

Distance

TemporalDistance

TemporalRelation

SimpleEntityType

FirstOrderEntityType

SpatialRelation

TimeMeasure SpaceMeasure

Agent

Space

+getEntity(e:EntityType, p:Place,+getEntity(e:EntityType, p:Place): Entity

Time

+getEvent(e:E

hasSpace

hasTime

IntegrityConstraint

Environment

TERA-ERE/CORMAS II

Les entités (suite)Les entités (suite)

Les instances

EntityType

-name: String

AttributeType

-name: String

Attribute

+getValue(t:Date, l:Place): Entity

Entity

+getMeasure(i:MeasureInstrument, p:Parameters): Entity+applyEvent(e:Event, p:Parameters): void

instantiates instantiates

TERA-ERE/CORMAS II

Entité comme organisationEntité comme organisation

Une entité peut être composée d’un ensemble d’autres entités:

Un point de vue dans lequel l’entité est un toutUn point de vue dans lequel elle est un ensemble d’entitésComposition comme lien entre deux points de vue

TERA-ERE/CORMAS II

Entité comme environnementEntité comme environnement

Une entité à un niveau supérieur est un environnement pour les entités qu’elle porte au niveau inférieur:

Peut avoir un espace qui lui est associéPeut avoir un temps qui lui est associé (à comparer avec SWARM)

TERA-ERE/CORMAS II

Les dynamiquesLes dynamiquesAttribute

+getValue(t:Date,

Behaviour

ProactiveBehaviour

Influence

Event

Stimulus

Message

EventContent

Synonym

Utterance CognitiveBehaviour

dynamics

1

0..1

ReactiveBehaviour

Peut-être un acte delangage en KQMLou ACL

Entity

+getMeasure(i:MeasureInstrument,+applyEvent(e:Event, p:Parameters): void

dynamics

effect

effect

effect

Condition

activation

TERA-ERE/CORMAS II

Les agentsLes agents

Deux visions:L’agent comme une entité (un tout) à un certain niveau d’abstraction

– Le corps (?)

L’agent comme composé de différentes entités (mémoire, etc.)

– Le « cerveau » (?)