ConceptBase.cc

Сипаттама

ConceptBase.cc - нысанға бағытталған деректер үлгісі бар көп пайдаланушылық дедуктивті дерекқор жүйесі. Ақпаратты кез келген абстракция деңгейінде (деректер, класс, метасынып, метасынып) көрсету мүмкіндігі оны теңшелген модельдеу тілдерін метамодельдеу және инженерия үшін қуатты құрал етеді. Жүйе ConceptBase.cc серверінің логикаға негізделген мүмкіндіктеріне негізделген жоғары конфигурацияланатын графикалық пайдаланушы интерфейсімен бірге жүреді. ConceptBase.cc ақпаратты деректер деңгейінде (мысал деректер, процестің орындалу іздері), сынып деңгейінде (схемалар, процесс анықтамалары), метасынып деңгейінде (модельдеу тілдерінің конструкциялары), мета-меткласс деңгейінде (модельдеуді анықтауға арналған құрылымдар) көрсете алады. тілдер) және т.б. Объектінің біркелкі көрінісі. Барлық нысандар Телос тілін әзірлеушілер бастаған P-фактілер деп аталатын біркелкі төрттік деректер құрылымында ұсынылған. Нысандар, олардың атрибуттары, маманданулары және даналары P-фактілер ретінде көрсетіледі. Осы арқылы, мысалы, нысандардың атрибуттары атрибуттарға ие болуы мүмкін және басқа атрибуттардың даналары болып табылады. Тіпті атрибуттар арасындағы мамандандыруға толық қолдау көрсетіледі. Логикалық өрнектер. Ережелер, шектеулер және сұраулар бірінші ретті логикалық формулаларда көрсетіледі. Ішкі жүйе оларды Datalog негізіндегі бағалау машинасы арқылы түсіндірілетін Horn сөйлемдеріне түрлендіреді. ConceptBase.cc ішіндегі логикалық өрнектер оның түріне (түйін мен сілтеме) және абстракция деңгейіне қарамастан кез келген нысан бойынша ауқымды болуы мүмкін. Datalog логикалық өрнектерді бағалауға арналған ең сенімді есептеу жүйесі ретінде белгілі. Белсенді ережелер. Белсенді ережелер дерекқорды жаңартады немесе оқиғаларға реакция ретінде сыртқы режимдерді шақырады.