The CordiFormes project : a platform to build declarative modelers
Le projet CordiFormes : une plate-forme pour la construction de modeleurs déclaratifs
Abstract
Since 1989, numerous works about declarative modelling have been done. Now, it Cur- rently, it is necessary to make general methods based on those previous studies evolve. New tools to help in building declarative modelers must be proposed. We propose a new formalism based on the fuzzy sets. This formalism is a synthesis and unification of existent works. It also brings new elements as fuzzy logic, linguistic manage- ment of the negation, etc. We have particularly studied the simplest type of property : the elementary property. Using the notion basic properties, fuzzy operators and modifiers, we describe a method to processing the semantic of an elementary property. We propose also an original processing of its negation. Rather than to use the usual logical negation, we have been interested in a management based on linguistic notions. Finally, we present solutions of processing for the other properties. However, these solutions are not truly satisfactory. Most of projects in declarative modeling implement similar techniques. From these works and the fuzzy formalism, we have developed the CordiFormes project, a programming plat- form and a set of tools to help the creation of future declarative modelers. Its characteristics are the simplicity, the flexibility of programming, the efficiency, the extendibility, the reus- ability and the quick modeler's prototyping. CordiFormes proposes three levels of tools : the kernel level containing all basic structures and all basic algorithms, the interface level pro- posing dialogues and interface components and finally the application level to produce rap- idly a first basic modeler. Three applications have allowed to validate the formalism and tools of the platform.
Les travaux en modélisation déclarative sont assez nombreux. Il est désormais nécessaire de mettre en place des méthodes générales basées sur celles déjà étudiées et de proposer des outils pour le développement de modeleurs déclaratifs. Nous proposons un nouveau formalisme basé sur les ensembles flous. Ce formalisme apparaît d'une part comme une synthèse et une unification des travaux existants et d'autre part apporte des éléments nouveaux comme la logique floue, la gestion linguistique de la négation. Nous étudions particulièrement le type de propriété le plus simple : la propriété élémentaire. A partir d'une propriété de base, d'un opérateur flou et d'un modificateur, nous mettons en place une méthode pour déterminer la sémantique d'une propriété élémentaire. Nous proposons aussi un traitement original de sa négation. Plutôt que d'utiliser la négation logique habituelle, nous nous intéressons à une gestion se basant sur des notions linguistiques. Enfin, nous présentons des solutions de traitement pour les autres propriétés. Cependant, ces solutions ne sont pas encore vraiment satisfaisantes. La plupart des projets en modélisation déclarative mettent en oeuvre des techniques similaires. A partir de ces travaux et du formalisme flou, nous développons le projet CordiFormes, une plate-forme de programmation visant à faciliter la mise en oeuvre de futurs modeleurs déclaratifs. Ses caractéristiques sont la simplicité, la souplesse de programmation, l'efficacité, l'extensibilité, la réutilisabilité et le prototypage rapide du modeleur. CordiFormes propose des outils sur trois niveaux : le noyau comportant toutes les structures et algorithmes de base, la couche interface proposant dialogues et composants d'interface et, enfin, la couche application pour produire rapidement un premier modeleur. Trois applications permettent de valider le formalisme et les outils de la plate-forme.
Loading...