Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Filtrer les résultats
Nous présentons un système de transformation qui génère des structures d'entité à partir de modèles conceptuels de domaines d'application formalisés dans le langage TELOS. Ce système, nommé TPS (Transformation Partielle de Spécifications), est bâti au-dessus de REFINE, un environnement de programmation à base de connaissances. Ce TPS intègre des composants essentiels d'un système de transformation. Un métamodèle d'entités et d'activités sous contraintes qui permet de définir la sémantique rattachée à un concept spécifique d'un domaine d'application. Une base de connaissances qui contient des règles de transformation qui infèrent l'ordre chronologique des actions à réaliser à chaque entité. Enfin, un assistant …