ConceptBase.cc

ConceptBase.cc est une base de données déductive multi-utilisateurs avec un modèle de données centré sur les objets. Sa capacité à représenter des informations à 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 repose sur les fonctionnalités logiques du serveur ConceptBase.cc. ConceptBase.cc peut représenter des informations au niveau des données (exemples, données, traces d'exécution de processus), au niveau de la classe (schémas, définitions de processus), au niveau de la métaclasse (constructions de langages de modélisation), au niveau de la méta-métaclasse (constructions 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 la forme de faits P. Ainsi, par exemple, les attributs d'objets peuvent avoir des attributs et sont des instances d'autres attributs. Même la spécialisation entre attributs est entièrement prise en charge. Expressions logiques. Les règles, contraintes et requêtes sont exprimées dans des formules logiques de 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 concerner n'importe quel objet, quels que soient son type (nœud ou lien) et son niveau d'abstraction. Datalog est connu pour être le système de calcul le plus robuste pour l'évaluation d'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.
    

Quoi de neuf dans cette version:

Version 8.0: Configuration plus souple de l’éditeur de graphiques; meilleure performance de CBserver; nombreuses corrections de bugs; prise en charge de la modélisation multiniveau.

Nouveautés de la version 7.8: