Composition operators for modeling languages: A literature review

Pfeiffer, Jérôme; Rumpe, Bernhard; Schmalzing, David; Wortmann, Andreas

doi:10.1016/j.cola.2023.101226

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2024

Publication Types

Select...

Book1

Article1

Relationship

Self Cite0

Independent2

Authors

Journals

Cited by 2 publications

References 23 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

Model-Based Engineering of Multi-Purpose Digital Twins in Manufacturing

Heithoff,

Jansen,

Michael

et al. 2024

Digital Twin

View full text Add to dashboard Cite

Model-Based Engineering of Multi-Purpose Digital Twins in Manufacturing

Heithoff,

Jansen,

Michael

et al. 2024

Digital Twin

View full text Add to dashboard Cite

Modular language product lines: concept, tool and analysis

de Lara,

Guerra,

Bottoni

2024

Softw Syst Model

View full text Add to dashboard Cite

Modelling languages are intensively used in paradigms like model-driven engineering to automate all tasks of the development process. These languages may have variants, in which case the need arises to deal with language families rather than with individual languages. However, specifying the syntax and semantics of each language variant separately in an enumerative way is costly, hinders reuse across variants, and may yield inconsistent semantics between variants. Hence, we propose a novel, modular and compositional approach to describing product lines of modelling languages. It enables the incremental definition of language families by means of modules comprising meta-model fragments, graph transformation rules, and rule extensions. Language variants are configured by selecting the desired modules, which entails the composition of a language meta-model and a set of rules defining its semantics. This paper describes: a theory for checking well-formedness, instantiability, and consistent semantics of all languages within the family; an implementation as an Eclipse plugin; and an evaluation reporting drastic specification size and analysis time reduction in comparison to an enumerative approach.

show abstract

Composition operators for modeling languages: A literature review

Cited by 2 publications

References 23 publications

Model-Based Engineering of Multi-Purpose Digital Twins in Manufacturing

Model-Based Engineering of Multi-Purpose Digital Twins in Manufacturing

Modular language product lines: concept, tool and analysis

Contact Info

Product

Resources

About