ConceptBase.cc

Περιγραφή

Το ConceptBase.cc είναι ένα απαγωγικό σύστημα βάσης δεδομένων πολλών χρηστών με ένα αντικειμενοκεντρικό μοντέλο δεδομένων. Η ικανότητά του να αναπαριστά πληροφορίες σε οποιοδήποτε επίπεδο αφαίρεσης (δεδομένα, τάξη, μετακλάση, μετακλάση) το καθιστά ισχυρό εργαλείο για μεταμοντελοποίηση και μηχανική προσαρμοσμένων γλωσσών μοντελοποίησης. Το σύστημα συνοδεύεται από ένα εξαιρετικά διαμορφώσιμο γραφικό περιβάλλον χρήστη που βασίζεται στα χαρακτηριστικά που βασίζονται στη λογική του διακομιστή ConceptBase.cc. Το ConceptBase.cc μπορεί να αναπαριστά πληροφορίες σε επίπεδο δεδομένων (παράδειγμα δεδομένα, ίχνη εκτελέσεων διεργασιών), σε επίπεδο κλάσης (σχήματα, ορισμοί διεργασιών), επίπεδο μετακλάσης (κατασκευές γλωσσών μοντελοποίησης), επίπεδο μετα-κλάσης (κατασκευές για τον ορισμό μοντελοποίησης γλώσσες), και ούτω καθεξής. Ομοιόμορφη αναπαράσταση αντικειμένων. Όλα τα αντικείμενα αντιπροσωπεύονται σε μια ομοιόμορφη τετραπλή δομή δεδομένων που ονομάζεται P-facts, η οποία πρωτοστάτησε από τους προγραμματιστές της γλώσσας Telos. Τα αντικείμενα, τα χαρακτηριστικά τους, οι εξειδικεύσεις και τα στιγμιότυπά τους αντιπροσωπεύονται όλα ως P-γεγονότα. Με αυτό, για παράδειγμα, οι ιδιότητες των αντικειμένων μπορούν να έχουν ιδιότητες και είναι περιπτώσεις άλλων χαρακτηριστικών. Ακόμη και η εξειδίκευση μεταξύ των χαρακτηριστικών υποστηρίζεται πλήρως. Λογικές εκφράσεις. Οι κανόνες, οι περιορισμοί και τα ερωτήματα εκφράζονται σε λογικούς τύπους πρώτης τάξης. Εσωτερικά, το σύστημα τις μετατρέπει σε ρήτρες Horn που ερμηνεύονται από μια μηχανή αξιολόγησης που βασίζεται σε Datalog. Οι λογικές εκφράσεις στο ConceptBase.cc μπορούν να κυμαίνονται σε οποιοδήποτε αντικείμενο ανεξάρτητα από τον τύπο του (κόμβος έναντι συνδέσμου) και το επίπεδο αφαίρεσης του. Το Datalog είναι γνωστό ότι είναι το πιο ισχυρό υπολογιστικό σύστημα για την αξιολόγηση λογικών εκφράσεων. Ενεργοί κανόνες. Οι ενεργοί κανόνες ενημερώνουν τη βάση δεδομένων ή καλούν εξωτερικές ρουτίνες ως αντίδραση σε γεγονότα.