¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾
( Ù RetourFiche «Ontologies, Web sémantique,
modélisation déclarative» )
Modélisation déclarative
Declarative modelling
Le quoi, le
pourquoi et le comment de la modélisation déclarative
Modélisation
déclarative et Web sémantique
Approche
procédurale et approche déclarative
Représentation
déclarative et transformations/manipulations des modèles
Illustration :
un exemple de mise en pratique de l’approche déclarative
Autres
ressources « Modélisation déclarative »
¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾
Le quoi, le pourquoi et le comment de la
modélisation déclarative ( Ù )
Voir le document
« Position Paper on Declarative Modelling in
Ecological and Environmental Research »
Références du document : document « Position Paper on
Declarative Modelling in Ecological and Environmental Research », de Robert Muetzelfeldt (Centre for
Intelligent Systems and their Applications,
Présentation du document : Ce document présente et explique la modélisation
déclarative, plus particulièrement en ce qui concerne la modélisation dans
les domaines de l’écologie et de l’environnement.
Le dossier modelia associé à ce document est : « Le quoi, le pourquoi et le comment de la modélisation déclarative ».
¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾
Modélisation déclarative et Web
sémantique (
Ù
)
Voir dans la fiche « Ontologies, Web sémantique, modélisation déclarative » : « Web sémantique et modélisation déclarative ».
¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾
Approche procédurale et approche déclarative
Voir la fiche « Approche procédurale et approche déclarative ».
¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾
Représentation déclarative et transformations/manipulations des modèles
Voir la fiche « Représentation déclarative et transformations/manipulations des modèles ».
¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾
Illustration : un exemple de mise
en pratique de l’approche déclarative ( Ù )
Voir dans la fiche « Représentation déclarative et transformations/manipulations des modèles » : le paragraphe « Illustration : un exemple de mise en pratique de l’approche déclarative » qui pointe la démonstration « MultiGuise ».
¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾
Spécification des modèles par
représentation graphique et/ou par représentation déclarative textuelle ( Ù )
Référence de l’article : « On the Declarative
Specification of Models » de Diomidis Spinellis, vu le
Présentation de l’article : Dans cet article, il est discuté deux manières d’appréhender la spécification des modèles :
- « The Drawing Editor Approach » où la spécification est exprimée directement sous forme de représentations graphiques. Ce type d’approche s’appuie sur un outil d’édition de graphes (à titre d’exemples : Visio, Rational Rose, ArgoUML).
- « Declarative Modeling » où la spécification déclarative est exprimée sous forme textuelle. Ensuite, à partir de la forme textuelle, des représentations graphiques peuvent être générées automatiquement.
Il est présenté l’intérêt et
l’utilité de disposer de représentations graphiques des modèles. Il est décrit
les bénéfices tirés du fait de disposer et de pouvoir manipuler directement la
forme déclarative textuelle du modèle. En conséquence de quoi il est proposé : « Design models should
be composed textually, and graphs should be automatically generated ».
¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾
Autres ressources « Modélisation
déclarative » ( Ù )
Voir le site DecMod
Références : page « Documents » du site DecMod
« Declarative Modelling », vu le
Voir dans la fiche « Ontologies, Web sémantique, modélisation déclarative » : « Autre ressources ».
¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾
Autres ( Ù )
Modélisation
déclarative pour créer des environnements virtuels réalistes
Références de l’article : « Modélisation Déclarative – Un
article de Kawa, l’encyclopédie libre - » par Véronique Gaildrat
(IRIT-Toulouse), vu le
Les citations suivantes sont extraites de la source mentionnée
ci-dessus :
« La création d'environnements virtuels réalistes est une tâche qui se révèle être le plus souvent longue et fastidieuse. Un environnement virtuel, pour être crédible, devra être suffisamment riche et sera donc complexe à modéliser […].
La modélisation déclarative […] a été proposée par Michel Lucas en 1989 et n'a vraiment pris son essor que récemment avec la multiplication de projets utilisant la notion de propriétés (features) en modélisation dans des domaines diverses (architecture, environnements urbains, prototypage, population d'individus, agencement, interaction assistée, systèmes « text-to-scene »).
Un modeleur déclaratif a pour but d'une part de faciliter, par une meilleure assistance, la tâche de création d'environnements virtuels et d’autre part d’automatiser au maximum les processus permettant cette création à partir d'éléments de description (énoncés de propriétés et/ou interactions gestuelles de désignation ou de pointage). »
La page au format pdf
(27/09/06)
-
mise en ligne
le 27/09/06 –
Plate-forme
INRA-ACTA-ICTA, Modelia http://www.modelia.org
¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾