A Systematic Approach to Metamodeling Environments and Model Transformation Systems in VMTS

Levendovszky, Tihamér; Lengyel, László; Mezei, Gergely; Charaf, Hassan

doi:10.1016/j.entcs.2004.12.040

Cited by 43 publications

(30 citation statements)

References 2 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…supported by VIATRA2 [15], VMTS [21], AToM3 [17], GReAT [9], MOFLON [13], Gmorph [26] and MOTMOT [14]. While all dealing with graphs and their manipulation, these approaches differ heavily concerning the kind of graphs used and the transformation concepts supported.…”

Section: Graph Transformation Related Approachesmentioning

confidence: 99%

Graphical Definition of In-Place Transformations in the Eclipse Modeling Framework

Biermann

Ehrig

Köhler

et al. 2006

Model Driven Engineering Languages and Systems

View full text Add to dashboard Cite

Abstract. The Eclipse Modeling Framework (EMF) provides a modeling and code generation framework for Eclipse applications based on structured data models. Although EMF provides basic operations for modifying EMF based models, a framework for graphical definition of rule-based modification of EMF models is still missing. In this paper we present a framework for in-place EMF model transformation based on graph transformation. Transformations are visually defined by rules on object patterns typed over an EMF core model. Defined transformation systems can be compiled to Java code building up on generated EMF classes. As running example different refactoring methods for Ecore models are considered.

show abstract

Section: Graph Transformation Related Approachesmentioning

confidence: 99%

Graphical Definition of In-Place Transformations in the Eclipse Modeling Framework

Biermann

Ehrig

Köhler

et al. 2006

Model Driven Engineering Languages and Systems

View full text Add to dashboard Cite

show abstract

“…The precondition of a transaction is a query, which should never fail, being applied to the input graph of the VOL. 5, NO Using this environment it is easy to edit metamodels, design models according to their metamodels, transform models using graph rewriting [Levendovszky04a] [Levendovszky04c]. The Validation Module, which is a part of the AGSI Core facilitates to check constraints contained by metamodels during the metamodel instantiation, and to J OURNAL OF OBJECT TECHNOLOGY V OL.…”

Section: Backgrounds and Related Workmentioning

confidence: 99%

“…This mathematical background makes possible to treat models as labeled graphs and to apply graph transformation algorithms to models using graph rewriting [Levendovszky04a] [Levendovszky04b]. The steps of graph transformation are rewriting rules, each rewriting rule consists of a left-hand side graph (LHS) and right-hand side graph (RHS).…”

Section: Introductionmentioning

confidence: 99%

“…The steps of graph transformation are rewriting rules, each rewriting rule consists of a left-hand side graph (LHS) and right-hand side graph (RHS). Previous work [Levendovszky04a] has introduced an approach, where LHS and RHS of the rules are built from metamodel elements It means that an instantiation of LHS must be found in the graph to which the rule is applied to (host graph) instead of the isomorphic subgraph of the LHS. Hence LHS and RHS graphs are the metamodels of the graphs which we search and replace in the host graph.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Constraint Validation in Model Compilers.

Lengyel¹,

Levendovszky²,

Charaf³

2006

JOT

Self Cite

View full text Add to dashboard Cite

Model transformation has become one of the most focused research field, motivated by for instance the OMG's Model-Driven Architecture (MDA). Metamodeling is a central technique in the design of visual languages, and it reuses existing domains by extending the metamodel level. Metamodel-based software development requires the transformation of the models between various stages. These transformation steps must be formally and precisely specified, which can be accomplished along with constraints enlisted in transformation steps. Our metamodel-based approach uses graph rewriting techniques for model transformation. This paper summarizes our results related to the metamodel-based constraint validation during the model transformation. This work presents the Rule Constraint Validator (RCV) algorithm, the Invariant Analysis (IA) algorithm, the Persistent Analysis (PA) algorithm and the combination of the RCV and PA algorithms which results the Optimized Rule Constraint Validator (ORCV) algorithm. An illustrative case study for constraint validation in rewriting rules is also provided.

show abstract

“…Since Viatra2 can also be regarded as a graph transformation tool, we now compare the advanced language constructs to similar constructs available in the most popular graph transformation tools, namely, AGG [12], ATOM3 [10], FU-JABA [15], GReAT [13], PROGRES [19], VMTS [14] and VIATRA2 [4]. In the future we plan to extend this detailed comparison with other model transformation approaches not based on graph transformation, which was out of scope for the current paper due to space limitations.…”

Section: Related Workmentioning

confidence: 99%

Advanced model transformation language constructs in the VIATRA2 framework

Balogh

Varró

2006

Proceedings of the 2006 ACM Symposium on Applied Computing

View full text Add to dashboard Cite

We present the model transformation language of the VIA-TRA2 framework, which provides a rule and pattern-based transformation language for manipulating graph models by combining graph transformation and abstract state machines into a single specification paradigm. This language offers advanced constructs for querying (e.g. recursive graph patterns) and manipulating models (e.g. generic and meta transformation rules) in unidirectional model transformations frequently used in formal model analysis to carry out powerful abstractions. In addition, powerful language constructs are provided for multi-level metamodeling to design modeling languages and template-based code generation.

show abstract

A Systematic Approach to Metamodeling Environments and Model Transformation Systems in VMTS

Cited by 43 publications

References 2 publications

Graphical Definition of In-Place Transformations in the Eclipse Modeling Framework

Graphical Definition of In-Place Transformations in the Eclipse Modeling Framework

Constraint Validation in Model Compilers.

Advanced model transformation language constructs in the VIATRA2 framework

Contact Info

Product

Resources

About