DeepTelos Demonstration Article Swipe
Related Concepts
Manfred A. Jeusfeld
·
YOU?
·
· 2019
· Open Access
·
· DOI: https://doi.org/10.1109/models-c.2019.00019
· OA: W2995164518
YOU?
·
· 2019
· Open Access
·
· DOI: https://doi.org/10.1109/models-c.2019.00019
· OA: W2995164518
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.
Related Topics
Finding more related topics…