Open AccessJournal 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.
read more
Abstract: Model-based development necessitates the transformation of models be- tween different stages and tools of the design process. These transformations must be precisely, preferably formally, specified, such that end-to-end semantic interoperability is maintained. The paper introduces a graph-transformation-based technique for spec- ifying these model transformations, gives a formal definition for the semantics of the transformation language, describes an implementation of the language, and illustrates its use through an example.
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
Interactive schema translation with instance-level mappings
Philip A. Bernstein,Sergey Melnik,Peter Mork +2 more
- 30 Aug 2005
TL;DR: A prototype that translates schemas from a source metamodel to a target metamODel and incorporates a novel mechanism for mapping inheritance hierarchies to relations, which supports all known strategies and their combinations.
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
Toward a semantic anchoring infrastructure for domain-specific modeling languages
Kai Chen,Janos Sztipanovits,Sandeep Neema +2 more
- 18 Sep 2005
TL;DR: This paper uses a mathematical model, Abstract State Machines, a common semantic framework to define the semantic domains of DSML-s, and proposes a formal well founded methodology with supporting tools to anchor the semantics of DS ML to precisely defined and validated "semantic units".
•Journal Article
Generating Instance Models from Meta Models
TL;DR: In this paper, the authors introduce instance-generating graph grammars for creating instances of meta models, thereby overcoming the main limitation of the meta modeling approach for defining languages.
104
Generating instance models from meta models
Karsten Ehrig,Jochen M. Küster,Gabriele Taentzer,Jessica Winkelmann +3 more
- 14 Jun 2006
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.
References
Aspect-oriented programming
Gregor Kiczales,Erik Hilsdale +1 more
- 01 Sep 2001
TL;DR: This tutorial shows how to use AOP to implement crosscutting conerns in a concise modular way and includes a description of their underlying model, in terms of which a wide range of AOP languages can be understood.
5.6K
•Book
The unified modeling language reference manual
James Rumbaugh,Ivar Jacobson,Grady Booch +2 more
- 01 Dec 1998
TL;DR: This title provides expert knowledge on all facets of today's UML standard, helping developers who are encountering UML on the job for the first time to be more productive.
4.9K
Symbolic model checking: an approach to the state explosion problem
Kenneth L. McMillan
- 01 Jan 1992
TL;DR: The symbolic model checking technique revealed subtle errors in this protocol, resulting from complex execution sequences that would occur with very low probability in random simulation runs, and an alternative method is developed for avoiding the state explosion in the case of asynchronous control circuits.