Modular language composition for the masses

Leduc, Manuel; Degueule, Thomas; Combemale, Benôıt

doi:10.1145/3276604.3276622

Cited by 5 publications

(2 citation statements)

References 25 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…For such language definition formalisms, the composition techniques range from embedding and merging of abstract syntax definitions [19,35], over matching grammar nonterminals by name [66] and importing syntactic elements from other DSLs [6], to the integration of interpreters or code generators [10,45]. All of these have in common that their compositionality is limited to the level of their formalisms, i.e.…”

Section: Composition Of Modelling Languagesmentioning

confidence: 99%

Multi-paradigm modelling for cyber–physical systems: a descriptive framework

et al. 2021

View full text Add to dashboard Cite

The complexity of cyber–physical systems (CPSs) is commonly addressed through complex workflows, involving models in a plethora of different formalisms, each with their own methods, techniques, and tools. Some workflow patterns, combined with particular types of formalisms and operations on models in these formalisms, are used successfully in engineering practice. To identify and reuse them, we refer to these combinations of workflow and formalism patterns as modelling paradigms. This paper proposes a unifying (Descriptive) Framework to describe these paradigms, as well as their combinations. This work is set in the context of Multi-Paradigm Modelling (MPM), which is based on the principle to model every part and aspect of a system explicitly, at the most appropriate level(s) of abstraction, using the most appropriate modelling formalism(s) and workflows. The purpose of the Descriptive Framework presented in this paper is to serve as a basis to reason about these formalisms, workflows, and their combinations. One crucial part of the framework is the ability to capture the structural essence of a paradigm through the concept of a paradigmatic structure. This is illustrated informally by means of two example paradigms commonly used in CPS: Discrete Event Dynamic Systems and Synchronous Data Flow. The presented framework also identifies the need to establish whether a paradigm candidate follows, or qualifies as, a (given) paradigm. To illustrate the ability of the framework to support combining paradigms, the paper shows examples of both workflow and formalism combinations. The presented framework is intended as a basis for characterisation and classification of paradigms, as a starting point for a rigorous formalisation of the framework (allowing formal analyses), and as a foundation for MPM tool development.

show abstract

Section: Composition Of Modelling Languagesmentioning

confidence: 99%

Multi-paradigm modelling for cyber–physical systems: a descriptive framework

et al. 2021

View full text Add to dashboard Cite

show abstract

“…Numerous approaches have been explored in the past decade to address specific scenarios of languages extension, either at the specification level (e.g., [2,4,6,9,11,13,17,19,20,22]) or at the implementation level (e.g., [7,16,22,23]). The specification level is based on metalanguages that provide the relevant abstractions, often with limited and domain-specific expressiveness.…”

Section: The Lep In Practicementioning

confidence: 99%

The Software Language Extension Problem

et al. 2019

Self Cite

View full text Add to dashboard Cite

The problem of software language extension and composition drives much of the research in Software Language Engineering (SLE). Although various solutions have already been proposed, there is still little understanding of the specific ins and outs of this problem, which hinders the comparison and evaluation of existing solutionsIn this SoSyM Expert Voice, we introduce the Language Extension Problem as a way to better qualify the scope of the challenges related to language extension and compositionThe formulation of the problem is similar to the seminal Expression Problem introduced by Wadler in the late 1990s and lifts it from the extensibility of single constructs to the extensibility of groups of constructs, i.e., software languages. We provide a comprehensive definition of the actual constraints when considering language extension and believe the Language Extension Problem will drive future research in SLE, the same way the original Expression Problem helped to understand the strengths and weaknesses of programming languages and drove much research in programming languages.

show abstract