A Meta-Circular Basis for Model-Based Language Engineering

Meta-modelling is a technique that facilitates the construction of new languages to be used in system development. Although meta-modelling is supported by a number of tools and technologies, notably the Meta Object Facility from the OMG, there is no widely accepted precise basis for meta-modelling that can be used to develop and study language-based approaches to system development. Recent advances in meta-modelling have proposed several approaches to mixing types and instances, and allowing constraints to hold over multiple levels. This article proposes a collection of key characteristic features that are used to define a foundational self-contained unifying meta-language that is evaluated through several examples

DeepTelos Demonstration

DeepTelos is defined as a set of rules and constraints that enable multi-level modeling for the Telos metamodeling language. In its ConceptBase implementation, rules and constraints are realized by Datalog clauses. We start with demonstrating first the core functions of Telos, use of simple rules and constraints,then the meta-level rules and constraints defining DeepTelos. A couple of examples show how the DeepTelos rules and constraints are compiled to simple rules and constraints and then realize the desired multi-level modeling environment. The main example is taken from the Galileo satellite domain.EU ISF Project A431.678/2016 ELVIRAKK Stiftelsen Synergy project: Knowledge-driven decision support via optimizatio