• Publications
  • Influence
Model transformation by example
  • D. Varró
  • Computer Science
  • MoDELS'06
  • 1 October 2006
TLDR
We propose a new approach for the design of model transformations called model transformation by example, an iterative and interactive approach which aims at a (semi-)automated derivation of model transformation rules from prototypical pairs of model instances. Expand
  • 153
  • 17
  • PDF
Generic and Meta-transformations for Model Transformation Engineering
TLDR
We propose the use of generic and meta-transformations for solving transformation engineering problems within the Model Driven Architecture. Expand
  • 160
  • 15
  • PDF
The model transformation language of the VIATRA2 framework
TLDR
We present the model transformation language of the VIATRA2 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. Expand
  • 242
  • 14
EMF-IncQuery: An integrated development environment for live model queries
TLDR
The current paper reports on the of EMF-IncQuery framework focusing on new features of its integrated development environment (such as query validation and visualization) and its support for integrating queries to existing applications (e.g. Papyrus UML). Expand
  • 133
  • 14
  • PDF
Modeling and validation of service-oriented architectures: application vs. style
TLDR
We propose UML models of both the architectural style of the platform and the application scenario to validate the consistency between platform and application. Expand
  • 160
  • 13
  • PDF
VIATRA - visual automated transformations for formal verification and validation of UML models
TLDR
The VIATRA (visual automated model transformations) framework is the core of a transformation-based verification and validation environment for improving the quality of systems designed using the Unified Modeling Language by automatically checking consistency, completeness, and dependability. Expand
  • 233
  • 12
  • PDF
VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML (The Mathematics of Metamodeling is Metamodeling Mathematics)
TLDR
We propose a multilevel metamodeling technique with precise static and dynamic semantics (based on a refinement calculus and graph transformation) where the structure and operational semantics of mathematical models can be defined in a UML notation without cumbersome mathematical formulae. Expand
  • 148
  • 9
  • PDF
Termination Analysis of Model Transformations by Petri Nets
TLDR
We propose a Petri net based analysis method that provides a sufficient criterion for the termination problem of model transformations captured by graph transformation systems. Expand
  • 95
  • 9
  • PDF
Designing the automatic transformation of visual languages
TLDR
A general framework for an automated model transformation system for UML-based system models and formal verification tools. Expand
  • 187
  • 8
Style-based modeling and refinement of service-oriented architectures
TLDR
We address the modeling of such architectures by refining business-oriented architectures, which abstract from technology aspects, into service-oriented ones, focusing on the ability of dynamic reconfiguration (binding to new services at run time) typical for SOA. Expand
  • 107
  • 8
  • PDF