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.

I. Introduction

DeepTelos [1] is a simple yet powerful extension to the Telos [2] language to enable a simple form of multi-level modeling. The purpose of this demonstration is to show how this extension was facilitated by the rule and constraint language of Telos, as implemented in ConceptBase [3]. Multi-level modeling (MLM) [4], [5] comprises the following building blocks: •

MLM allows to represent information at more than two abstraction levels, i.e. objects, classes, meta classes, meta-meta classes, etc.

•

Classes are objects, too. They can have properties like any other object. Such classes are sometimes called clabjects.

•

MLM minimizes the accidental redundancy by defining properties at the right class level and use them for all instances of that class.