Les modeleurs déclaratifs
Abstract
Les modeleurs déclaratifs doivent permettre de décrire on ensemble d'objets appartenant à un univers, description prenant la forme d'un ensemble de propriétés et de contraintes. Les objets solution sont alors engendrés automatiquement, et des outils de prise de connaissance autorisent le concepteur à comprendre leur structure. Cet article regroupe différents résultats concernant les trois grandes phases de la modélisation déclarative : la description (en particulier à l'aide de vocabulaires adaptés aux applications), la génération (tant exhaustive en vue de l'exploration des univers de formes que partielle, en procédant par échantillonnage) et la prise de connaissance.