Semcheck

Keywords: ConceptBase, constraint, integrity, Semantic-based Modelling, Telos

Affiliation: Manfred Jeusfeld, University of Skövde, Sweden

Modelling Toolkit - ConceptBase

ConceptBase is a standalone metamodeling tool that features a powerful language for integrity constraints, deductive rules, queries, functions, and active rules. Its purpose within OMiLAB is to provide semantic integrity checking services to the ADOxx toolkits. The coupling of ConceptBase to ADOxx toolkits is not yet implemented.

Follow the 'Instructions' link to install the software. The link points also to the latest ConceptBase version to be installed.

http://conceptbase.cc (official ConceptBase home page with download of the software)
https://gitlab.com/mjeu/conceptbasecc (GitLab repository with all ConceptBase sources plus make environment)

Download
Instructions

Modelling Toolkit - SemCheck-Demo.zip

Download of SemCheckDemo.zip showing the use of ConceptBase to check semantic constraints. The download includes three case studies for SemCheck: ArchiMate, 4EM, and ADOxx coupling (simulated at this point of time)

Download
Instructions