ConceptBase.cc

شرح

ConceptBase.cc یک سیستم پایگاه داده قیاسی چند کاربره با یک مدل داده شی محور است. توانایی آن برای نمایش اطلاعات در هر سطح انتزاعی (داده، کلاس، متاکلاس، متاکلاس) آن را به ابزاری قدرتمند برای متامدلینگ و مهندسی زبان های مدل سازی سفارشی تبدیل می کند. این سیستم با یک رابط کاربری گرافیکی بسیار قابل تنظیم همراه است که بر اساس ویژگی های مبتنی بر منطق سرور ConceptBase.cc ساخته شده است. ConceptBase.cc می‌تواند اطلاعاتی را در سطح داده (داده‌های مثال، آثار اجرای فرآیند)، سطح کلاس (طرحواره‌ها، تعاریف فرآیند)، سطح متاکلاس (ساخت‌های زبان‌های مدل‌سازی)، سطح متا کلاس (سازه‌هایی برای تعریف مدل‌سازی) نمایش دهد. زبان ها) و غیره. نمایش یکنواخت شی همه اشیاء در یک ساختار داده چهارگانه یکنواخت به نام P-facts که توسط توسعه دهندگان زبان Telos ساخته شده است، نمایش داده می شوند. اشیا، ویژگی‌ها، تخصص‌ها و نمونه‌های آن‌ها همگی به‌عنوان P-Facts نشان داده می‌شوند. به این ترتیب، برای مثال، صفات اشیاء می توانند دارای صفات باشند و نمونه هایی از ویژگی های دیگر هستند. حتی تخصص بین ویژگی ها به طور کامل پشتیبانی می شود. عبارات منطقی قوانین، محدودیت ها و پرس و جوها در فرمول های منطقی مرتبه اول بیان می شوند. در داخل، سیستم آنها را به بندهای هورن تبدیل می کند که توسط یک ماشین ارزیابی مبتنی بر Datalog تفسیر می شوند. عبارات منطقی در ConceptBase.cc می توانند بر روی هر شیئی بدون توجه به نوع آن (گره در مقابل پیوند) و سطح انتزاع آن محدوده داشته باشند. Datalog به عنوان قوی ترین سیستم محاسباتی برای ارزیابی عبارات منطقی شناخته شده است. قوانین فعال قوانین فعال پایگاه داده را به روز می کنند یا روال های خارجی را به عنوان واکنشی به رویدادها فراخوانی می کنند.