This repository contains an overview of academic work by the Critical Systems Research Group (ex-Fault Tolerant Systems Research Group, FTSRG) on modeling, model-based (systems) engineering, queries and transformations, in the context of the VIATRA project.
See also publications and presentations at the official VIATRA website.
Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework
Dániel Varró, Gábor Bergmann, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi
Software and Systems Modeling, Vol. 15, No. 3, pp. 609-629, 2016
Query-driven soft traceability links for models
Ábel Hegedüs, Ákos Horváth, István Ráth, Rodrigo Rizzi Starr, Dániel Varró
Software and Systems Modeling, Vol. 15, No. 3, pp. 733-756, 2016
Change-driven model transformations
Gábor Bergmann, Ákos Horváth, István Ráth, Gergely Varró, Dániel Varró
Software and Systems Modeling, Vol. 11, No. 3, pp. 431-461, 2012
VIATRA 3: A Reactive Model Transformation Platform
Gábor Bergmann, István Dávid, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi, Dániel Varró
Theory and Practice of Model Transformations (ICMT 2015), LNCS Vol. 9152, pp. 101-110, 2015
Integrating Efficient Model Queries in State-of-the-Art EMF Tools
Gábor Bergmann, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi, Dániel Varró
Objects, Models, Components, Patterns (TOOLS 2012), LNCS Vol. 7304, pp. 6-23, 2012
For foundational research and early evolution of the VIATRA2 framework, see:
Historic Papers
Documents the early foundations and evolution of the VIATRA2 framework, including foundational work, transformation language development, pattern matching research, advanced techniques, and benchmarking studies from 2002-2009.
For a comprehensive overview of all FTSRG VIATRA and IncQuery research publications, see:
Comprehensive List of Publications
A complete, chronologically organized list of all 68 VIATRA and IncQuery publications (2005-2018) with verified academic URLs, local PDF links where available, and detailed citation information. Includes journal articles, conference papers, and workshop publications from the BME FTSRG research group.
From BPEL to SAL And Back, a Tool Demo on Back Annotation with VIATRA2
Incremental Pattern Matching for the Efficient Computation of Transitive Closure
Model driven framework for Design Space Exploration
Slicing of Model Transformations
VIATRA2/GRaTS: Stochastic Graph Transformation System
Visualization of Traceability Models
Incremental View Model Synchronization Using Partial Models
Automated Generation of Consistent, Diverse and Structurally Realistic Graph Models
Diversity of Graph Models and Graph Generators in Mutation Testing
Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models
Incremental Backward Change Propagation of View Models by Logic Solvers
Extended Program Query Evaluation
Graph patterns from OCL: a performance evaluation
Benchmarking query technologies in EMF based model-validation scenarios
Validation of Derived Features and Well-Formedness Constraints in DSLs
A Demonstration of the EMF-IncQuery Development Environment
Query-driven soft interconnection of EMF models (MODELS12)
Query-driven incremental synchronization of view models (VAO 2012)
Using queries for derived features (ECMFA12)
ASE 2011 : Incremental Evaluation of Model Queries over EMF Models: a Tutorial on EMF-IncQuery
ECMFA2011: Incremental Evaluation of Model Queries over EMF Models: a Tutorial on EMF-IncQuery
Benchmarking query technologies in model-driven scenarios
MODELS2010: Incremental Model Queries over EMF Models
Benchmarking query technologies in EMF based model-validation scenarios
A Benchmark Evaluation of Metrics for Graph Query Performance Prediction
Efficient Instance-level Model Validation by Incremental Query Techniques
IncQuery-D Incremental Graph Search in the Cloud
The Train Benchmark: cross-technology performance evaluation of continuous model queries