ConceptBase.cc

Açıklama

ConceptBase.cc, nesne merkezli bir veri modeline sahip çok kullanıcılı tümdengelimli bir veritabanı sistemidir. Bilgileri herhangi bir soyutlama düzeyinde (veri, sınıf, metasınıf, meta-metasınıf) temsil etme yeteneği, onu meta modelleme ve özelleştirilmiş modelleme dillerinin mühendisliği için güçlü bir araç haline getirir. Sisteme, ConceptBase.cc sunucusunun mantık tabanlı özelliklerini temel alan, yüksek düzeyde yapılandırılabilir bir grafik kullanıcı arabirimi eşlik eder. ConceptBase.cc, veri düzeyinde (örnek veriler, süreç yürütme izleri), sınıf düzeyinde (şemalar, süreç tanımları), metasınıf düzeyinde (modelleme dillerinin yapıları), meta-metasınıf düzeyinde (modellemeyi tanımlayan yapılar) bilgileri temsil edebilir. diller) vb. Tek tip nesne gösterimi. Tüm nesneler, Telos dilinin geliştiricileri tarafından öncülük edilen P-olguları adı verilen tek tip dörtlü bir veri yapısında temsil edilir. Nesneler, nitelikleri, uzmanlıkları ve örneklemelerinin tümü P-olguları olarak temsil edilir. Bununla, örneğin, nesnelerin nitelikleri niteliklere sahip olabilir ve diğer niteliklerin örnekleridir. Nitelikler arasındaki uzmanlaşma bile tam olarak desteklenir. Mantıksal ifadeler. Kurallar, kısıtlamalar ve sorgular birinci dereceden mantık formüllerinde ifade edilir. Dahili olarak, sistem bunları Datalog tabanlı bir değerlendirme makinesi tarafından yorumlanan Horn yan tümcelerine dönüştürür. ConceptBase.cc'deki mantıksal ifadeler, türünden (düğüme karşı bağlantı) ve soyutlama düzeyinden bağımsız olarak herhangi bir nesne üzerinde değişebilir. Datalog, mantıksal ifadeleri değerlendirmek için en sağlam hesaplama sistemi olarak bilinir. Aktif kurallar. Etkin kurallar, olaylara tepki olarak veritabanını günceller veya harici rutinleri çağırır.