Generic and reflective graph transformations for checking and enforcement of modeling guidelines

Authors:
Elodie Legros;Carsten Amelunxen;Felix Klar;Andy Schürr
Affiliations:
Real-Time Systems Lab, Technische Universität Darmstadt, Germany;Real-Time Systems Lab, Technische Universität Darmstadt, Germany;Real-Time Systems Lab, Technische Universität Darmstadt, Germany;Real-Time Systems Lab, Technische Universität Darmstadt, Germany
Venue:
Journal of Visual Languages and Computing
Year:
2009

Citing 6
Cited 3

Refactoring: improving the design of existing code

Refactoring: improving the design of existing code
The FUJABA environment

Proceedings of the 22nd international conference on Software engineering
Copying Subgraphs Within Model Repositories

Electronic Notes in Theoretical Computer Science (ENTCS)
Generic and reflective graph transformations for the checking and enforcement of modeling guidelines

VLHCC '08 Proceedings of the 2008 IEEE Symposium on Visual Languages and Human-Centric Computing
Model-driven development of model transformations

Model-driven development of model transformations
MOFLON: a standard-compliant metamodeling framework with graph transformations

ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications

Using rule overriding to improve reusability and understandability of Dynamic Meta Modeling specifications

Journal of Visual Languages and Computing
Fact or fiction --- reuse in rule-based model-to-model transformation languages

ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
Reusable graph transformation templates

AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance

Quantified Score

Hi-index	0.00

Visualization

Abstract

In the automotive industry, the model driven development of software, today considered as the standard paradigm, is generally based on the use of the tool MATLAB Simulink/Stateflow. To increase the quality, the reliability, and the efficiency of the models and the generated code, checking and elimination of detected guideline violations defined in huge catalogs has become an essential task in the development process. It represents such a tremendous amount of boring work that it must necessarily be automated. In the past we have shown that graph transformation tools like Fujaba/MOFLON allow for the specification of single modeling guidelines on a very high level of abstraction and that guideline checking tools can be generated from these specifications easily. Unfortunately, graph transformation languages do not offer appropriate concepts for reuse of specification fragments-a MUST, when we deal with hundreds of guidelines. As a consequence we present an extension of MOFLON that supports the definition of generic rewrite rules and combines them with the reflective programming mechanisms of Java and the model repository interface standard Java Metadata Interface (JMI).