ConceptBase.cc

기술

ConceptBase.cc는 객체 중심 데이터 모델을 사용하는 다중 사용자 연역 데이터베이스 시스템입니다. 모든 추상화 수준(데이터, 클래스, 메타클래스, 메타메타클래스)에서 정보를 표현하는 기능은 맞춤형 모델링 언어의 메타모델링 및 엔지니어링을 위한 강력한 도구입니다. 이 시스템에는 ConceptBase.cc 서버의 논리 기반 기능을 기반으로 하는 고도로 구성 가능한 그래픽 사용자 인터페이스가 함께 제공됩니다. ConceptBase.cc는 데이터 수준(예제 데이터, 프로세스 실행 추적), 클래스 수준(스키마, 프로세스 정의), 메타클래스 수준(모델링 언어의 구성), 메타-메타클래스 수준(모델링 정의를 위한 구성)의 정보를 나타낼 수 있습니다. 언어) 등이 있습니다. 균일한 개체 표현. 모든 객체는 Telos 언어 개발자가 개척한 P-fact라는 균일한 4중 데이터 구조로 표현됩니다. 개체, 속성, 전문화 및 인스턴스화는 모두 P-팩트로 표시됩니다. 이를 통해 예를 들어 객체의 속성은 속성을 가질 수 있으며 다른 속성의 인스턴스입니다. 속성 간의 특수화도 완벽하게 지원됩니다. 논리식. 규칙, 제약 조건 및 쿼리는 1차 논리 공식으로 표현됩니다. 내부적으로 시스템은 이를 Datalog 기반 평가 기계가 해석하는 Horn 절로 변환합니다. ConceptBase.cc의 논리식은 유형(노드 대 링크) 및 추상화 수준에 관계없이 모든 개체에 걸쳐 있을 수 있습니다. Datalog는 논리식을 평가하는 가장 강력한 계산 시스템으로 알려져 있습니다. 활성 규칙. 활성 규칙은 데이터베이스를 업데이트하거나 이벤트에 대한 반응으로 외부 루틴을 호출합니다.