ConceptBase.cc

ConceptBase.cc là một hệ thống cơ sở dữ liệu suy luận đa người dùng với một mô hình dữ liệu đối tượng làm trung tâm. Khả năng biểu diễn thông tin ở bất kỳ mức trừu tượng nào (dữ liệu, lớp học, metaclass, meta-metaclass) làm cho nó trở thành một công cụ mạnh mẽ cho metamodeling và kỹ thuật của các ngôn ngữ lập mô hình tùy chỉnh. Hệ thống được đi kèm với một giao diện người dùng đồ họa có thể cấu hình cao được xây dựng dựa trên các tính năng dựa trên logic của máy chủ ConceptBase.cc. ConceptBase.cc có thể đại diện cho thông tin ở cấp dữ liệu (dữ liệu ví dụ, dấu vết của quá trình thực thi), cấp lớp (lược đồ, định nghĩa quy trình), mức siêu lớp (cấu trúc của ngôn ngữ lập mô hình), cấp meta meta (cấu trúc để xác định mô hình) ngôn ngữ), v.v. Đại diện đối tượng đồng nhất. Tất cả các đối tượng được biểu diễn trong một cấu trúc dữ liệu 4 lần đồng nhất được gọi là các sự kiện P được tiên phong bởi các nhà phát triển ngôn ngữ Telos. Các đối tượng, các thuộc tính, các chuyên môn và các instantiations của chúng đều được biểu diễn dưới dạng P-facts. Bằng cách này, ví dụ, các thuộc tính của các đối tượng có thể có các thuộc tính và là các cá thể của các thuộc tính khác. Ngay cả chuyên môn giữa các thuộc tính được hỗ trợ đầy đủ. Biểu thức logic. Các quy tắc, ràng buộc và truy vấn được thể hiện trong các công thức logic bậc nhất.Bên trong, hệ thống biến đổi chúng thành các mệnh đề Horn được giải thích bởi một máy đánh giá dựa trên Datalog. Các biểu thức logic trong ConceptBase.cc có thể nằm trên bất kỳ đối tượng nào bất kể kiểu của nó (nút so với liên kết) và mức trừu tượng của nó. Datalog được biết đến là hệ thống tính toán mạnh mẽ nhất để đánh giá các biểu thức logic. Quy tắc hoạt động. Các quy tắc hoạt động cập nhật cơ sở dữ liệu hoặc gọi các thường trình bên ngoài như là một phản ứng đối với các sự kiện.
    

Tính năng mới trong bản phát hành này:

Phiên bản 8.0: Cấu hình linh hoạt hơn của trình chỉnh sửa biểu đồ; hiệu suất tốt hơn của CBserver; nhiều sửa lỗi; hỗ trợ cho mô hình đa cấp.

Tính năng mới trong phiên bản 7.8:

Phiên bản 7.8 có thể bao gồm các bản cập nhật, cải tiến hoặc sửa lỗi không xác định.

Tính năng mới trong phiên bản 7.7:

Phiên bản 7.7 có thể bao gồm các bản cập nhật, cải tiến không xác định hoặc sửa lỗi.