Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,209,429 papers from all fields of science
Search
Sign In
Create Free Account
VIATRA
The VIATRA (VIsual Automated model TRAnsformations) framework is the core of a transformation-based verification and validation environment for…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
17 relations
ATLAS Transformation Language
Eclipse
GReAT
Graph rewriting
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Efficiently Finding Optimal Solutions to Easy Problems in Design Space Exploration: A* Tie-breaking
Thomas Rathfux
,
H. Kaindl
,
Ralph Hoch
,
F. Lukasch
International Conference on Software and Data…
2019
Corpus ID: 201883327
Using design space exploration (DSE), certain real-world problems can be made solvable through (heuristic) search. A meta-model…
Expand
2014
2014
Performance Modeling and Analysis of Software Architectures Specified Through Graph Transformations
M. Naddaf
,
V. Rafe
Computing and informatics
2014
Corpus ID: 18174690
Software architecture plays an important role in the success of modern, large and distributed software systems. For many of the…
Expand
2011
2011
Saying Hello World with VIATRA2 - A Solution to the TTC 2011 Instructive Case
Ábel Hegedüs
,
Z. Ujhelyi
,
Gábor Bergmann
Transformation Tool Contest
2011
Corpus ID: 7433476
The paper presents a solution of the Hello World! An Instructive Case for the Transformation Tool Contest using the VIATRA2 model…
Expand
2009
2009
Model Transformations for Performability Analysis of Service Configurations
László Gönczy
,
Zsolt Déri
,
Dániel Varró
ACM/IEEE International Conference on Model Driven…
2009
Corpus ID: 12285875
As more and more business-critical systems are based upon services deployed over flexible and dynamic platforms like Service…
Expand
2009
2009
CSP(M): Constraint Satisfaction Problem over Models
Á. Horváth
,
Dániel Varró
ACM/IEEE International Conference on Model Driven…
2009
Corpus ID: 2083355
Constraint satisfaction programming (CSP) has been successfully used in model-driven development (MDD) for solving a wide range…
Expand
2008
2008
Barbed Model-Driven Software Development: A Case Study
C. Montangero
,
L. Semini
TTSS
2008
Corpus ID: 17551769
Review
2006
Review
2006
The VIATRA 2 Transformation Framework Model Transformation by Graph Transformation
Dániel Varró
,
A. Balogh
,
A. Pataricza
2006
Corpus ID: 15118435
Viatra2 (VIsual Automated model TRAnsformations) is a general-purpose model transformation engineering framework that aims at…
Expand
2006
2006
MODEL BASED DEPLOYMENT OF WEB SERVICES TO STANDARDS-COMPLIANT RELIABLE MIDDLEWARE
László Gönczy
,
János Ávéd
2006
Corpus ID: 17224103
Nowadays, due to the rapid increase in the number of available web services, more and more emphasis is put on their reliability…
Expand
2004
2004
A Taxonomy of Model Transformation and its Application to Graph Transformation
T. Mens
,
P. V. Gorp
2004
Corpus ID: 17353056
This article proposes a taxonomy of model transformation, based on the discussions of a working group on model transformation of…
Expand
2003
2003
VPM: Mathematics of Metamodeling is Metamodeling Mathematics
Dániel Varró
,
A. Pataricza
2003
Corpus ID: 59807449
As UML 2.0 is evolving into a family of languages with individually specified semantics, there is an increasing need forautomated…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE