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 an...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:2019 ACM IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS C) s. 98 - 102
Hlavný autor: Jeusfeld, Manfred A.
Médium: Konferenčný príspevok..
Jazyk:English
Vydavateľské údaje: IEEE 01.09.2019
Predmet:
ConceptBase
Datalog
DeepTelos
Information Systems
Informationssystem (IS)
Metamodeling
Model driven engineering
multi level modeling
Satellites
Telos
ISBN:9781728151250, 1728151260, 9781728151267, 1728151252
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí: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.
ISBN:9781728151250
1728151260
9781728151267
1728151252
DOI:10.1109/MODELS-C.2019.00019