DeepTelos: Multi-level Modeling with Most General Instances

Jeusfeld, Manfred A.; Neumayr, Bernd

doi:10.1007/978-3-319-46397-1_15

Cited by 27 publications

(23 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Then, line 2 declares the deep model, named ProcessModel, with level 2. This contains three clabjects: TaskType (lines 3-13), ActorKind (lines [15][16] and GatewayType (lines [18][19][20][21][22]. PCs are specified as annotations.…”

Section: Tool Supportmentioning

confidence: 99%

“…A plethora of multi-level modelling approaches and tools have emerged recently, like DeepTelos [22], FMMLx [18], Melanee [3], Mul-tEcore [29], MLT [17] and OMLM [21]. Some of them are based on deep characterization through potency [3,18,21,29], while others rely on powertypes [17] or mostgeneral instances [22]. None of them support variability based on feature models as we describe here.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

Multi-level Model Product Lines

Lara

Guerra

2020

Fundamental Approaches to Software Engineering

View full text Add to dashboard Cite

Modelling is an essential activity in software engineering processes. It typically involves two meta-levels: one includes meta-models that describe modelling languages, and the other contains models built by instantiating those metamodels. Multi-level modelling generalizes this approach by allowing models to span an arbitrary number of meta-levels. A scenario that profits from multi-level modelling is the definition of language families that become specialized by successive refinements at subsequent metalevels, hence promoting language reuse. This enables an open set of variability options for the possible specializations of a given language. However, multi-level modelling lacks the ability to express closed variability regarding the supported language primitives and their realizations. This limits the reuse opportunities of a language family. To improve this situation, we propose a novel combination of product lines with multi-level modelling to cover both open and closed variability. Our proposal is backed by a formal theory that guarantees correctness, and is implemented atop the METADEPTH multi-level modelling tool.

show abstract

Section: Tool Supportmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

Multi-level Model Product Lines

Lara

Guerra

2020

Fundamental Approaches to Software Engineering

View full text Add to dashboard Cite

show abstract

“…The above six rules and constraints on DeepTelos are a variant of the definitions in [1]. They better integrate the Telos predicate (c isA d) into DeepTelos.…”

Section: Deeptelosmentioning

confidence: 99%

“…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].…”

Section: Introductionmentioning

confidence: 99%

DeepTelos Demonstration

Jeusfeld

2019

2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)

Self Cite

View full text Add to dashboard Cite

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.

show abstract

“…DeepTelos [1] was originally defined by just three deductive rules extending the existing Telos [2] constructs attribution, instantiation, and specialization. These 3 rules were later extended to five rules and one constraint to better integrate the derived specializations of DeepTelos and the existing Telos specialization axioms.…”

Section: Introductionmentioning

confidence: 99%

DeepTelos for ConceptBase: A Contribution to the MULTI Process Challenge

Jeusfeld

2019

2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)

Self Cite

View full text Add to dashboard Cite

DeepTelos is a straightforward extension of the Telos modeling language to allow some form of multi-level modeling. A variant of Telos has been implemented in the ConceptBase system on top of a Datalog engine. Telos defines the concepts of instantiation, specialization and attribution/relations by means of axioms. In addition, the user can define new constructs by deductive rules, integrity constraints, and so-called query classes. In this paper, we tackle the process challenge formulated for the MULTI 2019 workshop to see to which extent DeepTelos is able to represent the requirements of this challenge.

show abstract

DeepTelos: Multi-level Modeling with Most General Instances

Cited by 27 publications

References 15 publications

Multi-level Model Product Lines

Multi-level Model Product Lines

DeepTelos Demonstration

DeepTelos for ConceptBase: A Contribution to the MULTI Process Challenge

Contact Info

Product

Resources

About