Concept Obtenez une base de données déductive pour le métamodèle avec une interface utilisateur graphique.
Télécharger maintenant

Concept Classement & Résumé

Concept Mots clés

Interface utilisateur graphique base de données utilisateur système déductif déductif Système de base de données déductive Interface de base de données base de données de l'utilisateur Interface utilisateur graphique moderne

Concept La description

De conceptbase équipe: conceptbase.cc est un système de base de données déductif multi-utilisateurs avec un modèle de données centré sur l'objet. Sa capacité à représenter des informations à tout niveau d'abstraction (données, classe, métaclasse, méta-métaclasse, etc.) en fait un outil puissant de métamodèle 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 de la logique du serveur ConceptBase.cc. Conceptbase.cc peut représenter des informations au niveau des données (exemple de données, traces d'exécutions de processus, etc.), le niveau de classe (schémas, définitions de processus, etc.), le niveau de métaclasse (constructions de langues de modélisation), le niveau de méta-métaclasse ( construit pour définir des langues de modélisation), etc.). Représentation d'objet uniforme. Tous les objets sont représentés dans une structure de données quadruple uniforme appelée p-faits pionniers par les développeurs de la langue de Telos. Les objets, leurs attributs, les spécialisations et les instanciations sont tous représentés sous forme de p-faits. Par cela, 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 de premier ordre. En interne, le système les transforme en clauses de corne interprétées par une machine d'évaluation à base de données. Les expressions logiques dans ConceptBase.cc peuvent aller sur n'importe quel objet quel que soit son type (nud vs. Link) et son niveau d'abstraction. Datalog est connu pour être le système informatique le plus robuste pour évaluer les expressions logiques. Règles actives. Les règles actives mettent à jour la base de données ou appelez des routines externes comme une réaction aux événements. L'exécution suit le schéma d'action de l'événement.

Concept Logiciels associés