ConceptBase.cc

La description

ConceptBase.cc est un système de base de données déductive multi-utilisateurs avec un modèle de données centré sur l'objet. Sa capacité à représenter l'information à n'importe quel niveau d'abstraction (données, classe, métaclasse, méta-métaclasse) en fait un outil puissant de métamodélisation et d'ingénierie de langages de modélisation personnalisés. Le système est accompagné d'une interface utilisateur graphique hautement configurable qui s'appuie sur les fonctionnalités logiques du serveur ConceptBase.cc. ConceptBase.cc peut représenter des informations au niveau des données (exemples de données, traces d'exécutions de processus), au niveau des classes (schémas, définitions de processus), au niveau des métaclasses (constructions de langages de modélisation), au niveau des méta-métaclasses (constructions pour définir la modélisation langues), etc. Représentation uniforme des objets. Tous les objets sont représentés dans une structure de données quadruple uniforme appelée P-facts mise au point par les développeurs du langage Telos. Les objets, leurs attributs, leurs spécialisations et leurs instanciations sont tous représentés sous forme de P-facts. Ainsi, par exemple, les attributs d'objets peuvent avoir des attributs et sont des instances d'autres attributs. Même la spécialisation entre les attributs est entièrement prise en charge. Expressions logiques. Les règles, les contraintes et les requêtes sont exprimées dans des formules logiques du premier ordre. En interne, le système les transforme en clauses Horn interprétées par une machine d'évaluation basée sur Datalog. Les expressions logiques dans ConceptBase.cc peuvent s'étendre sur n'importe quel objet indépendamment de son type (nœud ou lien) et de son niveau d'abstraction. Datalog est connu pour être le système de calcul le plus robuste pour évaluer les expressions logiques. Règles actives. Les règles actives mettent à jour la base de données ou appellent des routines externes en réaction à des événements.