ConceptBase.cc

คำอธิบาย

ConceptBase.cc เป็นระบบฐานข้อมูลแบบนิรนัยผู้ใช้หลายคนพร้อมโมเดลข้อมูลที่มีวัตถุเป็นศูนย์กลาง ความสามารถในการแสดงข้อมูลในทุกระดับนามธรรม (data, class, metaclass, meta-metaclass) ทำให้เป็นเครื่องมือที่มีประสิทธิภาพสำหรับ metamodeling และวิศวกรรมของภาษาการสร้างแบบจำลองที่กำหนดเอง ระบบมาพร้อมกับส่วนต่อประสานกราฟิกกับผู้ใช้ที่กำหนดค่าได้สูงซึ่งสร้างขึ้นจากคุณสมบัติตามตรรกะของเซิร์ฟเวอร์ ConceptBase.cc ConceptBase.cc สามารถแสดงข้อมูลที่ระดับข้อมูล (ตัวอย่างข้อมูล ร่องรอยของการดำเนินการกระบวนการ) ระดับคลาส (สคีมา คำจำกัดความของกระบวนการ) ระดับเมตาคลาส (โครงสร้างของภาษาการสร้างแบบจำลอง) ระดับเมตา-เมตาคลาส (โครงสร้างสำหรับการกำหนดแบบจำลอง ภาษา) และอื่นๆ การแสดงวัตถุสม่ำเสมอ ออบเจ็กต์ทั้งหมดจะแสดงในโครงสร้างข้อมูลสี่เท่าแบบเดียวกันที่เรียกว่า P-facts ซึ่งบุกเบิกโดยนักพัฒนาภาษา Telos ออบเจ็กต์ คุณลักษณะ ความเชี่ยวชาญพิเศษ และการสร้างอินสแตนซ์ทั้งหมดจะแสดงเป็น P-facts ตัวอย่างเช่น คุณลักษณะของวัตถุสามารถมีคุณลักษณะและเป็นอินสแตนซ์ของคุณลักษณะอื่น ๆ ได้ รองรับแม้กระทั่งความเชี่ยวชาญพิเศษระหว่างแอตทริบิวต์ นิพจน์ตรรกะ กฎ ข้อจำกัด และคิวรีจะแสดงในสูตรลอจิกอันดับหนึ่ง ภายในระบบจะแปลงเป็นส่วนคำสั่ง Horn ที่ตีความโดยเครื่องประเมินผลตาม Datalog นิพจน์เชิงตรรกะใน ConceptBase.cc สามารถครอบคลุมวัตถุใดก็ได้โดยไม่คำนึงถึงประเภท (โหนดกับลิงก์) และระดับนามธรรม Datalog ขึ้นชื่อว่าเป็นระบบการคำนวณที่แข็งแกร่งที่สุดสำหรับการประเมินนิพจน์เชิงตรรกะ กฎที่ใช้งานอยู่ กฎที่ใช้งานอยู่จะอัพเดตฐานข้อมูลหรือเรียกรูทีนภายนอกเพื่อตอบสนองต่อเหตุการณ์