Generating instance models from meta models
Karsten Ehrig,Jochen M. Küster,Gabriele Taentzer,Jessica Winkelmann +3 more
- 14 Jun 2006
- pp 156-170
TL;DR: This paper introduces instance-generating graph grammars for creating instances of meta models, thereby overcoming the main deficit of the meta modeling approach for defining languages.
read more
Abstract: Meta modeling is a wide-spread technique to define visual languages, with the UML being the most prominent one. Despite several advantages of meta modeling such as ease of use, the meta modeling approach has one disadvantage: It is not constructive i. e. it does not offer a direct means of generating instances of the language. This disadvantage poses a severe limitation for certain applications. For example, when developing model transformations, it is desirable to have enough valid instance models available for large-scale testing. Producing such a large set by hand is tedious. In the related problem of compiler testing, a string grammar together with a simple generation algorithm is typically used to produce words of the language automatically. In this paper, we introduce instance-generating graph grammars for creating instances of meta models, thereby overcoming the main deficit of the meta modeling approach for defining languages.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
•Proceedings Article
Termination Criteria for Model Transformation
Hartmut Ehrig,Karsten Ehrig,Gabriele Taentzer,Juan de Lara,Dániel Varró,Szilvia Varró-Gyapai +5 more
- 01 Jan 2006
TL;DR: In this article, a model transformation is described in a precise way, and the model transformation can be analyzed later on. But the model transformations can be expressed in a rule-based manner.
119
Validation of model transformations: first experiences using a white box approach
Jochen M. Küster,Mohamed Abd-El-Razik +1 more
- 01 Oct 2006
TL;DR: The experiences in validating a number of model transformations are reported and three techniques that can be used for constructing test cases are proposed.
107
Translation of Restricted OCL Constraints into Graph Constraints for Generating Meta Model Instances by Graph Grammars
TL;DR: This work presents a restricted form of OCL constraints that can be translated to graph constraints which can be checked during the instance generation process in a meta model.
72
Reasoning about metamodeling with formal specifications and automatic proofs
Ethan K. Jackson,Tihamér Levendovszky,Daniel Balasubramanian +2 more
- 16 Oct 2011
TL;DR: This paper presents one approach to metamodeling frameworks, which are specified modularly using algebraic data types and constraint logic programming (CLP).
Formal specification and testing of model transformations
Antonio Vallecillo,Martin Gogolla,Loli Burgueño,Manuel Wimmer,Lars Hamann +4 more
- 18 Jun 2012
TL;DR: This paper introduces the concept of Tract, a generalization of model transformation contracts, and shows how Tracts can be used for model transformation specification and black-box testing, and the kinds of analyses they allow.
References
Alloy: a lightweight object modelling notation
TL;DR: This paper presents the Alloy language in its entirety, and explains its motivation, contributions and deficiencies.
•Book
Fundamentals of Algebraic Graph Transformation
Hartmut Ehrig,Karsten Ehrig,Ulrike Prange,Gabriele Taentzer +3 more
- 19 Nov 2010
TL;DR: This is the first textbook treatment of the algebraic approach to graph transformation, based on algebraic structures and category theory, and contains an introduction to classical graphs.
1.1K
Model-Based Testing of Reactive Systems, Advanced Lectures
TL;DR: This chapter discusses Model-Based Testing - A Glossary, which focuses on the development of model-Based Test Case Generation and its applications in I/O-automata Based Testing.
Validating UML and OCL models in USE by automatic snapshot generation
TL;DR: The testing and certification of UML and OCL models as supported by the validation tool USE is studied by introducing a language for defining properties of desired snapshots and by showing how such snapshots are generated.
224
•Journal Article
On the Use of Graph Transformation in the Formal Specification of Model Interpreters
TL;DR: A graph-transformation-based technique for spec- ifying these model transformations, a formal definition for the semantics of the transformation language is given, an implementation of the language is described, and its use is illustrated through an example.