ConceptBase Installer Un système de base de données déductif et orienté objet multi-utilisateurs pour la méta-modélisation et l'ingénierie de la méthode
Télécharger maintenant

ConceptBase Installer Classement & Résumé

ConceptBase Installer Mots clés

développement scientifique la modélisation système de base de données modélisation scientifique Serveur DB

ConceptBase Installer La description

Un système de base de données multi-utilisateur déductif et orienté objet pour la méta-modélisation et l'ingénierie de la méthode ConceptBase inclut un système avec un client graphique BUIL-IN qui s'appuie sur les fonctionnalités de la logique du serveur ConceptBase. Le modèle de données est O-Telos.Le sont quelques autres faits saillants de pointe de conceptbase: hiérarchies de métaclass illimitées. ConceptBase 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 langages de modélisation), le niveau de méta-métaclasse (constructions pour Définition de langages de modélisation), ainsi que de la représentation de l'objet uniforme: tous les objets sont représentés dans une structure de données quadruples uniforme appelée PIPTS PIERNED 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.Logical expressions: 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 basée sur Datalog: expressions logiques dans ConceptBase peut 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.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'état d'événement (ECA). Les mises à jour de la base de données sont formulées via des commandes Tell / Snell / Retell. Des routines externes (par exemple pour invoquer un script à envoyer un courrier électronique) peuvent être ajoutées incrémentalement à la base de données à l'aide d'une simple interface de programmation basée sur PROGolog.fonctions: ConceptBase prend en charge les expressions fonctionnelles et arithmétiques pour définir le calcul des modèles. Les fonctions peuvent être définies de manière récursive comme dans la programmation fonctionnelle. Par exemple, la longueur du chemin le plus court entre deux nuds est définie comme le minimum des longueurs du chemin le plus court entre les successeurs du nud de démarrage et le nud de fin. Les expressions fonctionnelles sont particulièrement utiles pour définir des métriques complexes sur les modèles. Les fonctions d'agrégation telles que SUM et AVG sont prédéfinies. Voici quelques caractéristiques essentielles du "ConceptBase Installer": · Prend en charge plusieurs utilisateurs et espaces de travail partagés (modules) · Inclut un moteur pour Datalog avec négation · Inclut un composant de règles actif (ECA) · Basé sur la langue de la représentation des connaissances de TELOS · Prend en charge le métamodèle avec un nombre illimité de niveaux d'abstraction · Fournit une instanciation / classification, spécialisation et attribution · Permet de définir la sémantique des nouveaux types de liaisons tels que Partours · Permet de manipuler de grands modèles conceptuels (> 1.000.000 concepts) · A une interface utilisateur graphique implémentée dans Java Exigences: · Java · C ++ · Prolog

ConceptBase Installer Logiciels associés