-
Adaptable Symbol Table Management by Meta Modeling and Generation of Symbol Table Infrastructures
Authors:
Katrin Hölldobler,
Pedram Mir Seyed Nazari,
Bernhard Rumpe
Abstract:
Many textual software languages share common concepts such as defining and referencing elements, hierarchical structures constraining the visibility of names, and allowing for identical names for different element kinds. Symbol tables are useful to handle those reference and visibility concepts. However, develo** a symbol table can be a tedious task that leads to an additional effort for the lan…
▽ More
Many textual software languages share common concepts such as defining and referencing elements, hierarchical structures constraining the visibility of names, and allowing for identical names for different element kinds. Symbol tables are useful to handle those reference and visibility concepts. However, develo** a symbol table can be a tedious task that leads to an additional effort for the language engineer. This paper presents a symbol table meta model usable to define languagespecific symbol tables. Furthermore, we integrate this symbol table meta model with a meta model of a grammar-based language definition. This enables the language engineer to switch between the model structure and the symbol table as needed. Finally, based on a grammarannotation mechanism, our approach is able to generate a symbol table infrastructure that can be used as is or serve as a basis for custom symbol tables.
△ Less
Submitted 16 June, 2016;
originally announced June 2016.
-
An Extended Symbol Table Infrastructure to Manage the Composition of Output-Specific Generator Information
Authors:
Pedram Mir Seyed Nazari,
Alexander Roth,
Bernhard Rumpe
Abstract:
Code generation is regarded as an essential part of model-driven development (MDD) to systematically transform the abstract models to concrete code. One current challenges of templatebased code generation is that output-specific information, i.e., information about the generated source code, is not explicitly modeled and, thus, not accessible during code generation. Existing approaches try to eith…
▽ More
Code generation is regarded as an essential part of model-driven development (MDD) to systematically transform the abstract models to concrete code. One current challenges of templatebased code generation is that output-specific information, i.e., information about the generated source code, is not explicitly modeled and, thus, not accessible during code generation. Existing approaches try to either parse the generated output or store it in a data structure before writing into a file. In this paper, we propose a first approach to explicitly model parts of the generated output. These modeled parts are stored in a symbol for efficient management. During code generation this information can be accessed to ensure that the composition of the overall generated source code is valid. We achieve this goal by creating a domain model of relevant generator output information, extending the symbol table to store this information, and adapt the overall code generation process.
△ Less
Submitted 2 June, 2016;
originally announced June 2016.
-
A Comparison of Mechanisms for Integrating Handwritten and Generated Code for Object-Oriented Programming Languages
Authors:
Timo Greifenberg,
Katrin Hölldobler,
Carsten Kolassa,
Markus Look,
Pedram Mir Seyed Nazari,
Klaus Müller,
Antonio Navarro Perez,
Dimitri Plotnikov,
Dirk Reiss,
Alexander Roth,
Bernhard Rumpe,
Martin Schindler,
Andreas Wortmann
Abstract:
Code generation from models is a core activity in model-driven development (MDD). For complex systems it is usually impossible to generate the entire software system from models alone. Thus, MDD requires mechanisms for integrating generated and handwritten code. Applying such mechanisms without considering their effects can cause issues in projects with many model and code artifacts, where a sound…
▽ More
Code generation from models is a core activity in model-driven development (MDD). For complex systems it is usually impossible to generate the entire software system from models alone. Thus, MDD requires mechanisms for integrating generated and handwritten code. Applying such mechanisms without considering their effects can cause issues in projects with many model and code artifacts, where a sound integration for generated and handwritten code is necessary. We provide an overview of mechanisms for integrating generated and handwritten code for object-oriented languages. In addition to that, we define and apply criteria to compare these mechanisms. The results are intended to help MDD tool developers in choosing an appropriate integration mechanism.
△ Less
Submitted 15 September, 2015;
originally announced September 2015.
-
Using Software Categories for the Development of Generative Software
Authors:
Pedram Mir Seyed Nazari,
Bernhard Rumpe
Abstract:
In model-driven development (MDD) software emerges by systematically transforming abstract models to concrete source code. Ideally, performing those transformations is to a large extent the task of code generators. One approach for develo** a new code generator is to write a reference implementation and separate it into handwritten and generatable code. Typically, the generator developer manuall…
▽ More
In model-driven development (MDD) software emerges by systematically transforming abstract models to concrete source code. Ideally, performing those transformations is to a large extent the task of code generators. One approach for develo** a new code generator is to write a reference implementation and separate it into handwritten and generatable code. Typically, the generator developer manually performs this separation a process that is often time-consuming, labor-intensive, difficult to maintain and may produce more code than necessary. Software categories provide a way for separating code into designated parts with defined dependencies, for example, "Business Logic" code that may not directly use "Technical" code. This paper presents an approach that uses the concept of software categories to semi-automatically determine candidates for generated code. The main idea is to iteratively derive the categories for uncategorized code from the dependencies of categorized code. The candidates for generated or handwritten code finally are code parts belonging to specific (previously defined) categories. This approach helps the generator developer in finding candidates for generated code more easily and systematically than searching by hand and is a step towards tool-supported development of generative software.
△ Less
Submitted 8 September, 2015;
originally announced September 2015.
-
First-Class Variability Modeling in Matlab/Simulink
Authors:
Arne Haber,
Carsten Kolassa,
Peter Manhart,
Pedram Mir Seyed Nazari,
Bernhard Rumpe,
Ina Schaefer
Abstract:
Modern cars exist in an vast number of variants. Thus, variability has to be dealt with in all phases of the development process, in particular during model-based development of software-intensive functionality using Matlab/Simulink. Currently, variability is often encoded within a functional model leading to so called 150%-models which easily become very complex and do not scale for larger produc…
▽ More
Modern cars exist in an vast number of variants. Thus, variability has to be dealt with in all phases of the development process, in particular during model-based development of software-intensive functionality using Matlab/Simulink. Currently, variability is often encoded within a functional model leading to so called 150%-models which easily become very complex and do not scale for larger product lines. To counter these problems, we propose a modular variability modeling approach for Matlab/Simulink based on the concept of delta modeling [8, 9, 24]. A functional variant is described by a delta encapsulating a set of modifications. A sequence of deltas can be applied to a core product to derive the desired variant. We present a prototypical implementation, which is integrated into Matlab/Simulink and offers graphical editing of delta models.
△ Less
Submitted 25 August, 2014;
originally announced August 2014.
