Conceptbase.cc Effectuez l'ingénierie de métamodèle et de méthode à l'aide d'une base de données déductive.
Télécharger maintenant

Conceptbase.cc Classement & Résumé

Conceptbase.cc Mots clés

téléspectateur voir représenter système déductif déductif Système de base de données déductive niveau d'abstraction représenter la méta-classe

Conceptbase.cc La description

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éta-métaclasse) 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 (par exemple de données, traces d'exécutions de processus), le niveau de classe (schémas, définitions de processus), le niveau de métaclasse (constructions de langages de modélisation), le niveau de méta-métaclasse (constructions pour la définition de la modélisation langues), 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.

Conceptbase.cc Logiciels associés