Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework

D Varró, G Bergmann, Á Hegedüs, Á Horváth… - Software & Systems …, 2016 - Springer
The current release of VIATRA provides open-source tool support for an event-driven,
reactive model transformation engine built on top of highly scalable incremental graph …

A model-driven framework for guided design space exploration

Á Hegedüs, Á Horváth, D Varró - Automated Software Engineering, 2015 - Springer
Abstract Design space exploration (DSE) aims at searching through various models
representing different design candidates to support activities like configuration design of …

Multi-objective optimization in rule-based design space exploration

H Abdeen, D Varró, H Sahraoui, AS Nagy… - Proceedings of the 29th …, 2014 - dl.acm.org
Design space exploration (DSE) aims to find optimal design candidates of a domain with
respect to different objectives where design candidates are constrained by complex …

Quick fix generation for DSMLs

Á Hegedüs, Á Horváth, I Ráth… - … IEEE Symposium on …, 2011 - ieeexplore.ieee.org
Domain-specific modeling languages (DSML) proved to be an important asset in creating
powerful design tools for domain experts. Although these tools are capable of preserving the …

Model-transformation-based computational design synthesis for mission architecture optimization

SJI Herzig, S Mandutianu, H Kim… - 2017 IEEE …, 2017 - ieeexplore.ieee.org
In this paper, a model-based approach to exploring the trade space of multi-spacecraft
mission architectures is introduced. Missions involving multiple spacecraft are inherently …

Using decision rules for solving conflicts in extended feature models

L Ochoa, O González-Rojas, T Thüm - Proceedings of the 2015 ACM …, 2015 - dl.acm.org
Software Product Line Engineering has introduced feature modeling as a domain analysis
technique used to represent the variability of software products and decision-making …

Lessons learned from building model-driven development tools

RF Paige, D Varró - Software & Systems Modeling, 2012 - Springer
Tools to support modelling in system and software engineering are widespread, and have
reached a degree of maturity where their use and availability are accepted. Tools to support …

Toward a declarative language to generate explorable sets of models

TL Calvar, F Chhel, F Jouault, F Saubion - Proceedings of the 34th ACM …, 2019 - dl.acm.org
Model transformation has proven to be an effective technique to produce target models from
source models. Most transformation approaches focus on generating a single target model …

Incremental model queries in model-driven design

G Bergmann - 2013 - search.proquest.com
The discipline of model-driven engineering (MDE) is gaining more acceptance in several
areas of software and system engineering as it delivers higher-quality products in a shorter …

Constraint-driven modeling through transformation

A Demuth, RE Lopez-Herrejon, A Egyed - Software & Systems Modeling, 2015 - Springer
In model-driven software engineering, model transformation plays a key role for
automatically generating and updating models. Transformation rules define how source …