ConceptBase.cc

Deskrizzjoni

ConceptBase.cc hija sistema ta 'database deduttiva b'ħafna utenti b'mudell ta' data ċċentrata fuq l-oġġett. Il-kapaċità tagħha li tirrappreżenta informazzjoni fi kwalunkwe livell ta 'estrazzjoni (dejta, klassi, metaklassi, meta-metaklassi) tagħmilha għodda qawwija għall-metamodeling u l-inġinerija ta' lingwi ta 'mudellar personalizzati. Is-sistema hija akkumpanjata minn interface tal-utent grafiku konfigurabbli ħafna li tibni fuq il-karatteristiċi bbażati fuq il-loġika tas-server ConceptBase.cc. ConceptBase.cc jista’ jirrappreżenta informazzjoni fil-livell tad-dejta (eżempju tad-dejta, traċċi ta’ eżekuzzjonijiet tal-proċess), il-livell tal-klassi (skemi, definizzjonijiet tal-proċess), il-livell tal-metaklassi (kostruzzjonijiet tal-lingwi tal-immudellar), il-livell tal-meta-metaklassi (kostruzzjonijiet għad-definizzjoni tal-immudellar). lingwi), eċċ. Rappreżentazzjoni uniformi tal-oġġett. L-oġġetti kollha huma rappreżentati fi struttura ta 'dejta kwadrupla uniformi msejħa P-fatti pijunieri mill-iżviluppaturi tal-lingwa Telos. L-oġġetti, l-attributi, l-ispeċjalizzazzjonijiet u l-istanziazzjonijiet tagħhom huma kollha rappreżentati bħala fatti P. B'dan, per eżempju, attributi ta 'oġġetti jista' jkollhom attributi u huma każijiet ta 'attributi oħra. Anke l-ispeċjalizzazzjoni bejn l-attributi hija appoġġjata bis-sħiħ. Espressjonijiet loġiċi. Ir-regoli, ir-restrizzjonijiet, u l-mistoqsijiet huma espressi f'formuli loġiċi tal-ewwel ordni. Internament, is-sistema tittrasformahom fi klawsoli Horn interpretati minn magna ta 'evalwazzjoni bbażata fuq Datalog. L-espressjonijiet loġiċi f'ConceptBase.cc jistgħu jvarjaw fuq kwalunkwe oġġett irrispettivament mit-tip tiegħu (node ​​vs. link) u l-livell ta' astrazzjoni tiegħu. Datalog huwa magħruf li huwa l-aktar sistema komputazzjonali robusta għall-evalwazzjoni tal-espressjonijiet loġiċi. Regoli attivi. Ir-regoli attivi jaġġornaw id-database jew iċemplu rutini esterni bħala reazzjoni għall-avvenimenti.