Upload
cain-lebrun
View
103
Download
0
Embed Size (px)
Citation preview
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 » (?)