ConceptBase.cc

აღწერა

ConceptBase.cc არის მრავალ მომხმარებლის დედუქციური მონაცემთა ბაზის სისტემა ობიექტზე ორიენტირებული მონაცემთა მოდელით. მისი უნარი წარმოადგინოს ინფორმაცია ნებისმიერ აბსტრაქციულ დონეზე (მონაცემები, კლასი, მეტაკლასი, მეტაკლასები) ხდის მას მძლავრ ინსტრუმენტად მეტამოდელირებისა და მორგებული მოდელირების ენების ინჟინერიისთვის. სისტემას ახლავს უაღრესად კონფიგურირებადი გრაფიკული ინტერფეისი, რომელიც ეფუძნება ConceptBase.cc სერვერის ლოგიკაზე დაფუძნებულ ფუნქციებს. ConceptBase.cc შეუძლია წარმოადგინოს ინფორმაცია მონაცემთა დონეზე (მაგალითი მონაცემები, პროცესის შესრულების კვალი), კლასის დონეზე (სქემები, პროცესის განმარტებები), მეტაკლასის დონე (მოდელირების ენების კონსტრუქტები), მეტა-მეტაკლასის დონეზე (კონსტრუქტები მოდელირების განსაზღვრისთვის ენები) და ა.შ. ობიექტის ერთიანი წარმოდგენა. ყველა ობიექტი წარმოდგენილია ოთხმაგი მონაცემთა ერთიანი სტრუქტურაში, რომელსაც ეწოდება P-ფაქტები, რომელიც შეიქმნა Telos ენის დეველოპერების მიერ. ობიექტები, მათი ატრიბუტები, სპეციალიზაცია და ინსტანციები წარმოდგენილია როგორც P-ფაქტები. ამით, მაგალითად, ობიექტების ატრიბუტებს შეიძლება ჰქონდეთ ატრიბუტები და წარმოადგენენ სხვა ატრიბუტების ნიმუშებს. ატრიბუტებს შორის სპეციალიზაციაც კი სრულად არის მხარდაჭერილი. ლოგიკური გამონათქვამები. წესები, შეზღუდვები და მოთხოვნები გამოიხატება პირველი რიგის ლოგიკური ფორმულებით. შიდა, სისტემა გარდაქმნის მათ Horn პუნქტებად, რომლებიც ინტერპრეტირებულია Datalog-ზე დაფუძნებული შეფასების მანქანის მიერ. ConceptBase.cc-ში ლოგიკური გამონათქვამები შეიძლება განსხვავდებოდეს ნებისმიერ ობიექტზე, მიუხედავად მისი ტიპისა (კვანძი ბმულის წინააღმდეგ) და მისი აბსტრაქციის დონისა. Datalog ცნობილია იმით, რომ არის ყველაზე ძლიერი გამოთვლითი სისტემა ლოგიკური გამონათქვამების შესაფასებლად. აქტიური წესები. აქტიური წესები განაახლებს მონაცემთა ბაზას ან უწოდებს გარე რუტინებს, როგორც რეაქცია მოვლენებზე.