Towards Roundtrip Engineering - A Template-Based Reverse Engineering Approach

Bork, Manuel; Geiger, Leif; Schneider, Christian; Zündorf, Albert

doi:10.1007/978-3-540-69100-6_3

Cited by 11 publications

(10 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Section 4). With respect to ensuring consistency of models with manually changed generated code, the approach by Bork et al (2008) exploits the templates used for code generation to re-parse the generated code with manual changes. This approach is independent from the code generation templates and, therefore, easily applicable.…”

Section: State Of the Artmentioning

confidence: 99%

Evolution of software in automated production systems: Challenges and research directions

Vogel‐Heuser

Fay

Schaefer

et al. 2015

Journal of Systems and Software

243

View full text Add to dashboard Cite

a b s t r a c tCoping with evolution in automated production systems implies a cross-disciplinary challenge along the system's life-cycle for variant-rich systems of high complexity. The authors from computer science and automation provide an interdisciplinary survey on challenges and state of the art in evolution of automated production systems. Selected challenges are illustrated on the case of a simple pick and place unit. In the first part of the paper, we discuss the development process of automated production systems as well as the different type of evolutions during the system's life-cycle on the case of a pick and place unit. In the second part, we survey the challenges associated with evolution in the different development phases and a couple of cross-cutting areas and review existing approaches addressing the challenges. We close with summarizing future research directions to address the challenges of evolution in automated production systems.

show abstract

Section: State Of the Artmentioning

confidence: 99%

Evolution of software in automated production systems: Challenges and research directions

Vogel‐Heuser

Fay

Schaefer

et al. 2015

Journal of Systems and Software

243

View full text Add to dashboard Cite

show abstract

“…In [6], Bork et al describe an approach towards model and source code round‐trip engineering, which is based upon reverse engineering of M2T transformation templates. The benefit of this approach compared with other approaches using plain Java parsers and the resulting parse tree as a source for the code to model transformation is that changes to the templates are automatically taken into account during reverse engineering.…”

Section: Related Workmentioning

confidence: 99%

“…The work presented here provides the following contributions: Unlike other approaches [6], the backward transformation from the source code to the class diagram may be executed even on ordinary Java code which does not follow the patterns realised in the forward transformation. Since TGGs may not operate directly on source code, we employ the MoDisco framework [3] which provides a Java model and a parser mapping the source code to the Java model. Furthermore, we use Acceleo (http://www.eclipse.org/acceleo) to generate source code.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Using triple graph grammars to realise incremental round‐trip engineering

Buchmann

Westfechtel

2016

IET softw.

View full text Add to dashboard Cite

Model-driven software engineering is supported with the help of model transformations. At present, the technology for defining and executing uni-directional batch transformations seems to be fairly well developed, while bidirectional and incremental transformations are more difficult to handle. In this study, the authors present a bidirectional and incremental transformation tool for round-trip engineering between class diagrams and Java source code. Unlike other approaches, the tool may work with arbitrary Java code rather than only with source code following specific coding conventions. For its realisation, they selected triple graph grammars (TGGs) because they allow to generate bidirectional incremental transformations from a single set of undirected rules. When applying TGGs, they observed several strengths and weaknesses which are also discussed in this study.

show abstract

“…• Model transformations [SeK03], where translations of models between different modeling languages can be performed. • Model-driven roundtrip engineering [BGS08,PMD05], where a model that constitutes the abstract syntax tree of a program can be translated into a model that specifies the software at a higher level of abstraction. Code may be generated again from recovered models in an automated way.…”

Section: Model Transformations and Operators For Model Managementmentioning

confidence: 99%

An algebraic semantics for MOF

Boronat

Meseguer

2010

Form. Asp. Comput.

View full text Add to dashboard Cite

In model-driven development, software artifacts are represented as models in order to improve productivity, quality, and cost effectiveness. In this area, the Meta-Object Facility (MOF) standard plays a crucial role as a generic framework within which a wide range of modeling languages can be defined. The MOF standard aims at offering a good basis for model-driven development, providing some of the building concepts that are needed: what is a model, what is a metamodel, what is reflection in the MOF framework, and so on. However, most of these concepts are not yet fully formally defined in the current MOF standard. In this paper we define a reflective, algebraic, executable framework for precise metamodeling based on membership equational logic (mel) that supports the MOF standard. Our framework provides a formal semantics of the following notions: metamodel, model, and conformance of a model to its metamodel. Furthermore, by using the Maude language, which directly supports mel specifications, this formal semantics is executable. This executable semantics has been integrated within the Eclipse Modeling Framework as a plugin tool called MOMENT2. In this way, formal analyses, such as semantic consistency checks, model checking of invariants and LTL model checking, become available within Eclipse to provide formal support for modeldriven development processes.

show abstract

Towards Roundtrip Engineering - A Template-Based Reverse Engineering Approach

Cited by 11 publications

References 4 publications

Evolution of software in automated production systems: Challenges and research directions

Evolution of software in automated production systems: Challenges and research directions

Using triple graph grammars to realise incremental round‐trip engineering

An algebraic semantics for MOF

Contact Info

Product

Resources

About