Design for ‘X’ Through Model Transformation

Lybecait, Michael; Kopetzki, Dawid; Steffen, Bernhard

doi:10.1007/978-3-030-03418-4_23

Cited by 5 publications

(7 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This paper, which extends [29], illustrates the purposespecific transformation along the setting displayed in Fig. 1.…”

Section: Introductionmentioning

confidence: 83%

“…2 -It is additive in the sense that the target graphs are successively built up. -It allows for a modular specification of abstraction using auxiliary transition relations [29].…”

Section: Introductionmentioning

confidence: 99%

“…2 first introduces the WebStory language-i.e., which kind of modeling elements are available and what they are used for-by means of a simple 'find Fig. 2 An exemplary WebStory model reprinted from [29] (Images by: [11,25,42,50]) Fig. 3 Overview of the Cinco Meta Tooling Suite adapted from [37] the treasure' example story, before Cinco is presented alongside the metamodel definition of the WebStory language.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Towards language-to-language transformation

Kopetzki

Lybecait

Naujokat

et al. 2021

Int J Softw Tools Technol Transfer

Self Cite

View full text Add to dashboard Cite

This paper proposes a simplicity-oriented approach and framework for language-to-language transformation of, in particular, graphical languages. Key to simplicity is the decomposition of the transformation specification into sub-rule systems that separately specify purpose-specific aspects. We illustrate this approach by employing a variation of Plotkin’s Structural Operational Semantics (SOS) for pattern-based transformations of typed graphs in order to address the aspect ‘computation’ in a graph rewriting fashion. Key to our approach are two generalizations of Plotkin’s structural rules: the use of graph patterns as the matching concept in the rules, and the introduction of node and edge types. Types do not only allow one to easily distinguish between different kinds of dependencies, like control, data, and priority, but may also be used to define a hierarchical layering structure. The resulting Type-based Structural Operational Semantics (TSOS) supports a well-structured and intuitive specification and realization of semantically involved language-to-language transformations adequate for the generation of purpose-specific views or input formats for certain tools, like, e.g., model checkers. A comparison with the general-purpose transformation frameworks ATL and Groove, illustrates along the educational setting of our graphical WebStory language that TSOS provides quite a flexible format for the definition of a family of purpose-specific transformation languages that are easy to use and come with clear guarantees.

show abstract

“…This paper, which extends [29], illustrates the purposespecific transformation along the setting displayed in Fig. 1.…”

Section: Introductionmentioning

confidence: 83%

“…2 -It is additive in the sense that the target graphs are successively built up. -It allows for a modular specification of abstraction using auxiliary transition relations [29].…”

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Towards language-to-language transformation

Kopetzki

Lybecait

Naujokat

et al. 2021

Int J Softw Tools Technol Transfer

Self Cite

View full text Add to dashboard Cite

show abstract

“…Hooks are inserted into the MGL file with annotations on the model elements defined therein. The effect of a hook can either be modeled in a transformation language [20] or directly be written as Java code using the generated model API. In the context of the AADL editor, e.g., a postMoveHook is used to move a port to the nearest border within its container after it has been moved by the user.…”

Section: Dsl Development With Cincomentioning

confidence: 99%

“…A key feature of Cinco is that it generates the entire graphical modeling environment (referred to as 'Cinco Products' in the remainder of the paper) from high-level specifications of the defined model structures and functionalities. The (translational) semantics of the specified modeling language is defined in terms of code generation, model transformation, evaluation, and/or interpretation [20]. Cinco Products are Eclipse-based, graphical modeling tools that are realized via a number of Eclipse plug-ins [13].…”

Section: Introductionmentioning

confidence: 99%

Pyro: Generating Domain-Specific Collaborative Online Modeling Environments

Zweihoff

Naujokat

Steffen

2019

Fundamental Approaches to Software Engineering

Self Cite

View full text Add to dashboard Cite

We present Pyro, a framework for enabling domain-specific modeling via the internet. Provided with an adequate metamodel specification, Pyro turns your browser into a collaborative, domain-specific, graphical development environment with features reminiscent of desktop IDEs for textual programming languages. The required metamodeling is supported in a high-level, simplicity-driven fashion, and the entire ready-to-run browser-based domain-specific development environment is generated fully automatically. We will illustrate the steps of this development along the realization of a graphical IDE for the Architecture Analysis and Design Language (AADL).

show abstract