@Booklet{ViatraDSM:tdk2005,
title = {Automated Model Transformations in Domain Specific Visual Languages},
author = {István Ráth and Andr{\'a}s Schmidt and D{\'a}vid V{\'a}g{\'o}},
howpublished = {Student Report (TDK), Budapest University of Technology and Economics},
month = {October},
year = 2005
}
@Booklet{Viatra:tdk2007,
title = {Event-based model transformations with incremental pattern matching},
author = {G\'abor Bergmann and Andr\'as \"Okr\"os},
howpublished = {Student Report (TDK), Budapest University of Technology and Economics},
month = {October},
year = 2007
}
@MastersThesis{ViatraDSM:MastThesisIR,
author = {István Ráth},
title = {Declarative Specification of Domain Specific Visual Languages},
school = {Budapest University of Technology and Economics},
year = 2006
}
@MastersThesis{ViatraDSM:MastThesisDV,
author = {D{\'a}vid V{\'a}g{\'o}},
title = {Simulation and transformation of domain-specific languages},
school = {Budapest University of Technology and Economics},
year = 2006
}
@InProceedings{dspd2006,
author = {István Ráth and D{\'a}niel Varr{\'o}},
title = {Challenges for Advanced Domain-Specific Modeling Frameworks},
booktitle = {International Workshop on Domain Specific Program
Development (DSPD 2006)},
year = {2006},
address = {Nantes, France},
month = {July}
}
@InProceedings{cscs2006,
author = {István Ráth},
title = {Declarative mapping between abstract and concrete syntax of domain-specific visual languages},
booktitle = {The Proceedings of the Fifth Conference of PhD Students in Computer Science},
year = {2006}
}
@InProceedings{gramot08,
author = {G\'abor Bergmann and Andr\'as \"Okr\"os and István Ráth and D\'aniel Varr\'o and Gergely Varr\'o},
title = {{Incremental pattern matching in the VIATRA transformation system}},
booktitle = {GRaMoT'08, 3rd International Workshop on Graph and Model Transformation},
year = {2008},
organization = {30th International Conference on Software Engineering},
note = {}
}
@inproceedings {icmt2008,
title = {Live Model Transformations Driven by Incremental Pattern Matching},
booktitle = {Proc. First International Conference on the Theory and Practice of Model Transformations (ICMT 2008)},
series = {Lecture Notes in Computer Science},
volume = {5063/2008},
year = {2008},
note = {Acceptance rate: 31\%},
pages = {107{\textendash}121},
publisher = {Springer Berlin / Heidelberg},
organization = {Springer Berlin / Heidelberg},
abstract = {In the current paper, we introduce a live model transformation framework, which continuously maintains a transformation context such that model changes to source inputs can be readily identified, and their effects can be incrementally propagated. Our framework builds upon an incremental pattern matcher engine, which keeps track of matches of complex contextual constraints captured in the form of graph patterns. As a result, complex model changes can be treated as elementary change events. Reactions to the changes of match sets are specified by graph transformation rules with a novel transactional execution semantics incorporating both pseudo-parallel and serializable behaviour.},
keywords = {Viatra},
isbn = {978-3-540-69926-2},
issn = {0302-9743 (Print) 1611-3349 (Online)},
doi = {10.1007/978-3-540-69927-9_8},
url = {http://www.springerlink.com/content/g43052uj0p27428v/},
author = {István Ráth and G{\'a}bor Bergmann and Andr{\'a}s {\"O}kr{\"o}s and D{\'a}niel Varr{\'o}},
editor = {Antonio Vallecillo and Jeff Gray and Alfonso Pierantonio}
}
@incollection{icgt2008,
author = {G\'{a}bor Bergmann and \'{A}kos Horv\'{a}th and István Ráth and D\'{a}niel Varr\'{o}},
affiliation = {Budapest University of Technology and Economics Department of Measurement and Information Systems 1117 Budapest Magyar Tudósok krt. 2},
title = {A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation},
booktitle = {Graph Transformations},
series = {Lecture Notes in Computer Science},
editor = {Ehrig, Hartmut and Heckel, Reiko and Rozenberg, Grzegorz and Taentzer, Gabriele},
publisher = {Springer Berlin / Heidelberg},
isbn = {},
pages = {396--410},
volume = {5214},
url = {http://dx.doi.org/10.1007/978-3-540-87405-8\_27},
note = {Acceptance rate: ~40\%; DOI: 10.1007/978-3-540-87405-8\_27},
year = {2008}
}
@incollection{icmt2009,
author={G\'abor Bergmann and \'Akos Horv\'ath and István Ráth and D\'aniel Varr\'o},
affiliation = {Budapest University of Technology and Economics Department of Measurement and Information Systems H-1117 Magyar tudósok krt. 2 Budapest Hungary},
title = {Efficient Model Transformations by Combining Pattern Matching Strategies},
booktitle = {Theory and Practice of Model Transformations},
series = {Lecture Notes in Computer Science},
editor = {Paige, Richard},
publisher = {Springer Berlin / Heidelberg},
isbn = {},
pages = {20-34},
volume = {5563},
url = {http://dx.doi.org/10.1007/978-3-642-02408-5\_3},
note = {Acceptance rate: 23\%; DOI: 10.1007/978-3-642-02408-5\_3},
year = {2009}
}
@inproceedings {vlhcc2008,
title = {Design-time simulation of domain-specific models by incremental pattern matching},
booktitle = {IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2008, Herrsching am Ammersee, Germany, 15-19 September 2008, Proceedings},
year = {2008},
note = {Acceptance rate: 29\%},
pages = {219-222},
publisher = {IEEE},
organization = {IEEE},
abstract = {In this paper, we present a general purpose discrete event simulation framework for domain-specific visual languages describing system behavior. In our framework, the dynamic semantics of the language is captured by a combination of graph transformation and abstract state machine rules as provided by the model transformation language of VIATRA2, which allows to capture complex model changes at each simulation step. For an efficient execution of the simulation, incremental graph pattern matching is used to avoid the re-computation of enabledness conditions of simulation rules by incrementally keeping track of rule contexts.},
doi={10.1109/VLHCC.2008.4639089},
keywords = {Viatra},
url = {http://dx.doi.org/10.1109/VLHCC.2008.4639089},
author = {István Ráth and D{\'a}vid V{\'a}g{\'o} and D{\'a}niel Varr{\'o}}
}
@article{gtvmt09,
author = {G\'abor Bergmann and István Ráth and D\'aniel Varr\'o},
title = {Parallelization of Graph Transformation Based on Incremental Pattern Matching},
journal = {Electronic Communications of the EASST, Proceedings of the Eighth International Workshop on Graph Transformation and Visual Modeling Techniques},
volume = {18},
year = {2009},
}
@Misc{SDE:HP,
author = {{The SENSORIA EU FP6 Research Project}},
title = {{The SENSORIA Development Environment Homepage}},
year = {2009},
note = {{\url{http://svn.pst.ifi.lmu.de/trac/sct}}}
}
@Book{Knuth:ArtOfComputerProgramming,
author = {{Donald Knuth}},
title = {{The Art of Computer Programming}},
publisher = {{Addison-Wesley}},
year = {1997},
volume = {1},
edition = {{Third}},
note = {Section 1.2.11: Asymptotic Representations},
annote = {ISBN 0-201-89683-4}
}
@InProceedings{MDTPI2009,
author = {Bal\'azs Polg\'{a}r and István Ráth and Zolt\'an Szatm\'{a}ri and Istv\'an Majzik},
title = {{Model-based Integration, Execution and Certification of Development Tool-chains}},
booktitle = {2nd ECMDA Workshop on Model-Driven Tool and Process Integration},
year = {2009},
note = {}
}
@inproceedings {MODELS09,
title = {Change-Driven Model Transformations},
booktitle = {Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
issn = {0302-9743 (Print) 1611-3349 (Online)},
isbn = {978-3-642-04424-3},
volume = {5795},
year = {2009},
doi = {10.1007/978-3-642-04425-0\_26},
note = {Springer Best Paper Award and ACM Distinguished Paper Award; Acceptance rate: 18\%},
pages = {342-356},
publisher = {Springer},
organization = {Springer},
abstract = {Nowadays, evolving models are prime artefacts of model-driven software engineering. In tool integration scenarios, a multitude of tools and modeling languages are used where complex model transformations need to incrementally synchronize various models residing within different external tools. In the paper, we investigate a novel class of transformations, that are directly triggered by model changes. First, model changes in the source model are recorded incrementally by a change history model. Then a model-to-model transformation is carried out to generate a change model for the target language. Finally, the target change history model is processed (at any time) to incrementally update the target model itself. Moreover, our technique also allows incremental updates in an external model where only the model manipulation interface is under our control (but not the model itself). Our approach is implemented within the VIATRA2 framework, and it builds on live transformations and incremental pattern matching.},
keywords = {Viatra},
url = {http://dx.doi.org/10.1007/978-3-642-04425-0\_26},
author = {István Ráth and Gergely Varr{\'o} and D{\'a}niel Varr{\'o}},
editor = {Andy Sch{\"u}rr and Bran Selic}
}
@InProceedings{TavasziSzel2009,
author = {István Ráth},
title = {Modelltranszform\'aci\'ok integr\'alt alkalmaz\'asa domain-specifikus nyelvekben},
booktitle = {Tavaszi Sz\'el Konferenciakiadv\'any},
year = {2009}
}
@article{Sosym09:Traceability,
author = {István Ráth and Andr\'as \"Okr\"os and D\'aniel Varr\'o},
affiliation = {Department of Measurement and Information Systems, Budapest University of Technology and Economics, Magyar tudósok krt. 2, 1117 Budapest, Hungary},
title = {Synchronization of abstract and concrete syntax in domain-specific modeling languages},
journal = {Software and Systems Modeling},
publisher = {Springer Berlin / Heidelberg},
issn = {1619-1366},
keyword = {Computer Science},
pages = {453-471},
volume = {9},
issue = {4},
note = {10.1007/s10270-009-0122-7},
year = {2010},
url = {http://dx.doi.org/10.1007/s10270-009-0122-7}
}
@article{STTT09:AntWorld,
author = {\'Akos Horv\'ath and G\'abor Bergmann and István Ráth and D\'aniel Varr\'o},
affiliation = {Budapest University of Technology and Economics Department of Measurement and Information Systems Magyar tudósok krt. 2 Budapest 1117 Hungary},
title = {Experimental assessment of combining pattern matching strategies with VIATRA2},
journal = {International Journal on Software Tools for Technology Transfer (STTT)},
publisher = {Springer Berlin / Heidelberg},
issn = {1433-2779},
keyword = {Computer Science},
pages = {211-230},
volume = {12},
issue = {3},
note = {10.1007/s10009-010-0149-7},
year = {2010},
url = {http://dx.doi.org/10.1007/s10009-010-0149-7}
}
@incollection {FMN:2009,
author = {András Balogh and Gábor Bergmann and György Csertán and László Gönczy and Ákos Horváth and István Majzik and András Patariza and Balázs Polgár and István Ráth and Dániel Varró and Gergely Varró},
affiliation = {OptxWare Research and Development LLC, H-1137 Katona J. u. 39., Hungary},
title = {Workflow-Driven Tool Integration Using Model Transformations},
booktitle = {Graph Transformations and Model-Driven Engineering},
series = {Lecture Notes in Computer Science},
editor = {Engels, Gregor and Lewerentz, Claus and Schaefer, Wilhelm and Schuerr, Andy and Westfechtel, Bernhard},
publisher = {Springer Berlin / Heidelberg},
isbn = {},
pages = {224-248},
volume = {5765},
url = {http://dx.doi.org/10.1007/978-3-642-17322-6\_11},
note = {10.1007/978-3-642-17322-6\_11},
year = {2010}
}
@InBook{SENSORIABook:SDE,
author = {István Ráth and Philip Mayer},
title = {Rigorous Software Engineering for Service-Oriented Systems - Results of the {SENSORIA} project on Software Engineering for Service-Oriented Computing},
chapter = {The {SENSORIA} Development Environment},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6582},
isbn = {978-3-642-20400-5},
year = {2011}
}
@InBook{SENSORIABook:AdvancesInGT,
author = {Gábor Bergmann and Artur Boronat and Reiko Heckel and Paolo Torrini and István Ráth and Dániel Varró},
title = {Rigorous Software Engineering for Service-Oriented Systems - Results of the {SENSORIA} project on Software Engineering for Service-Oriented Computing},
chapter = {Advances in model transformation by graph transformations: Specification, Analysis and Execution},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6582},
isbn = {978-3-642-20400-5},
year = {2011}
}
@article{gtvmt10,
author = {Paolo Torrini and Reiko Heckel and István Ráth and G\'abor Bergmann},
title = {Stochastic Graph Transformation with Regions},
journal = {Electronic Communications of the EASST, Proceedings of the Ninth International Workshop on Graph Transformation and Visual Modeling Techniques},
volume = {},
year = {2010},
}
@InProceedings{ASMTA2010,
author = {Ajab Khan and Reiko Heckel and Paolo Torrini and István Ráth},
title = {Model-based Stochastic Simulation of {P2P VoIP} Using Graph Transformation},
year = {2010},
booktitle = {Proceedings of the 17th International Conference on Analytical and Stochastic Modeling Techniques and Applications},
note = {}
}
@inproceedings {hegedus-sefm2010,
title = {Back-annotation of Simulation Traces with Change-Driven Model Transformations},
booktitle = {Proceedings of the Eighth International Conference on Software Engineering and Formal Methods},
year = {2010},
note = {Acceptance rate: 22\%},
month = {09/2010},
pages = {145-155},
publisher = {IEEE Computer Society},
organization = {IEEE Computer Society},
address = {Pisa},
keywords = {Viatra},
isbn = {978-0-7695-4153-2},
doi = {10.1109/SEFM.2010.28},
url = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5637422},
author = {{\'A}bel Heged{\"u}s and G{\'a}bor Bergmann and István Ráth and D{\'a}niel Varr{\'o}}
}
@incollection{MODELS10,
author = {G\'abor Bergmann and \'Akos Horv\'ath and István Ráth and D\'aniel Varr\'o},
affiliation = {Department of Measurement and Information Systems, Budapest University of Technology and Economics, H-1117 Magyar tudósok krt. 2, Budapest, Hungary},
title = {Incremental Evaluation of Model Queries over {EMF} Models},
booktitle = {Model Driven Engineering Languages and Systems},
series = {Lecture Notes in Computer Science},
editor = {Petriu, Dorina and Rouquette, Nicolas and Haugen, Øystein},
publisher = {Springer Berlin / Heidelberg},
isbn = {},
pages = {76-90},
volume = {6394},
note = {Acceptance rate: 21\%; DOI: 10.1007/978-3-642-16145-2\_6},
year = {2010},
url = {http://dx.doi.org/10.1007/978-3-642-16145-2\_6}
}
@Misc{MODELS10Tut,
author = {G\'abor Bergmann and \'Akos Horv\'ath and István Ráth and D\'aniel Varr\'o},
title = {Incremental Pattern Matching over {EMF}: a Tutorial on {EMF-INCQuery}},
month = {October},
year = {2010},
note = {Tutorials track of the ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MODELS), \url{http://models2010.ifi.uio.no/tutorials.shtml\#Bergmann}},
}
@techreport{SEFM10ToolDemo:back-ann_OLD,
Author = {\'Abel Heged\"{u}s and István Ráth and D\'aniel Varr\'o},
Title = {From {BPEL} to {SAL} and {B}ack: a {T}ool {D}emo on {B}ack-{A}nnotation with {VIATRA2}},
Institution = {Consiglio Nazionale delle Ricerche (CNR)},
Year = {2010},
note = {Accepted for the SEFM'2010 "Posters and Tool Demo Session" Track}
}
@article{SEFM10ToolDemo:back-ann,
title = {From BPEL to SAL and Back: a Tool Demo on Back-Annotation with VIATRA2},
year = {2010},
journal = {SEFM Posters and Tool Demo Session Track},
month = {09/2010},
pages = {35-42},
institution = {Consiglio Nazionale delle Ricerche (CNR)},
keywords = {Viatra},
isbn = {978-88-7958-006-9},
author = {{\'A}bel Heged{\"u}s and István Ráth and D{\'a}niel Varr{\'o}}
}
@incollection {FASE10:GrASS,
author = {Paolo Torrini and Reiko Heckel and István Ráth},
affiliation = {University of Leicester Department of Computer Science},
title = {Stochastic Simulation of Graph Transformation Systems},
booktitle = {Fundamental Approaches to Software Engineering},
series = {Lecture Notes in Computer Science},
editor = {Rosenblum, David and Taentzer, Gabriele},
publisher = {Springer Berlin / Heidelberg},
isbn = {},
pages = {154-157},
volume = {6013},
note = {Acceptance rate: 24\%; DOI: 10.1007/978-3-642-12029-9\_11},
year = {2010},
url = {http://dx.doi.org/10.1007/978-3-642-12029-9\_11}
}
@InProceedings {GraBaTs10:trace-vis,
title = {Visualization of Traceability Models with Domain-specific Layouting},
booktitle = {Proceedings of the Fourth International Workshop on Graph-Based Tools},
year = {2010},
author = {{\'A}bel Heged{\"u}s and Zolt{\'a}n Ujhelyi and István Ráth and {\'A}kos Horv{\'a}th}
}
@Article{Sosym10:ChangeDriven_old,
author = {Bergmann Gábor and István Ráth and Gergely Varró and D\'aniel Varr\'o},
title = {Change-driven Model Transformations: Change (in) the Rule to Rule the Change},
journal = {Journal of Software and Systems Modeling},
year = {2010},
note = {Accepted.}
}
@article {Sosym10:ChangeDriven,
author = {Gábor Bergmann and István Ráth and Gergely Varró and Dániel Varró},
affiliation = {Department of Measurement and Information Systems, Budapest University of Technology and Economics, Magyar tudósok krt. 2, Budapest, 1117 Hungary},
title = {Change-driven model transformations},
journal = {Software and Systems Modeling},
publisher = {Springer Berlin / Heidelberg},
issn = {1619-1366},
keyword = {Computer Science},
pages = {1-31},
url = {http://dx.doi.org/10.1007/s10270-011-0197-9},
note = {10.1007/s10270-011-0197-9},
year = {2011}
}
@inproceedings {icmt11:EMF-IncQuery-Language,
title = {{A Graph Query Language for EMF models}},
booktitle = {International Conference on Model Transformation, ICMT{\textquoteright}11},
year = {2011},
publisher = {Springer},
keywords = {EMF, IncQuery, incremental graph pattern matching, Viatra},
author = {Gábor Bergmann and Zoltán Ujhelyi and István Ráth and Dániel Varró},
note={Accepted.}
}
@InProceedings{Minisy:2007,
author = {István Ráth},
title = {Challenges for advanced domain-specific modeling frameworks},
booktitle = {Proceedings of the 14th PhD Minisymposium},
pages = {118-120},
year = {2007},
organization = {Budapest University of Technology and Economics, Department of Measurement and Information Systems},
}
@InProceedings{Minisy:2008,
author = {István Ráth},
title = {Design-time simulation of domain-specific modeling languages by interactive model transformation},
booktitle = {Proceedings of the 15th PhD Minisymposium},
pages = {58--62},
year = {2008},
organization = {Budapest University of Technology and Economics, Department of Measurement and Information Systems},
}
@InProceedings{Minisy:2009,
author = {István Ráth},
title = {Enhancing design-time model execution in domain-specific languages by incremental pattern matching},
booktitle = {Proceedings of the 16th PhD Minisymposium},
pages = {16--20},
year = {2009},
organization = {Budapest University of Technology and Economics, Department of Measurement and Information Systems},
}
@inproceedings{rath:dsm:wcsq2008,
author = {Andr{\'a}s Balogh and Andr{\'a}s Pataricza and István Ráth},
title = {Automated verification and validation of domain specific languages and their applications},
booktitle = {Proceedings of the 4th World Congress for Software Quality},
year = {2009},
pages = {1--6},
ADDRESS = {Bethesda, USA}
}
@article{balogh2005viatra2,
title={{The VIATRA2 model transformation framework}},
author={András Balogh and Attila Németh and András Schmidt and István Ráth and Dávid Vágó and Dániel Varró and András Pataricza},
journal={Tool demo at the First European Conference on Model Driven Architecture - Foundations and Applications},
year={2005}
}
new stuff for 2011-2012:
@inbook {ECMFA11Tut,
title = {Incremental Evaluation of Model Queries over {EMF} Models: A Tutorial on {EMF-IncQuery}},
booktitle = {Modelling Foundations and Applications},
series = {Lecture Notes in Computer Science},
volume = {6698},
year = {2011},
note = {10.1007/978-3-642-21470-7\_32},
pages = {389-390},
publisher = {Springer Berlin / Heidelberg},
organization = {Springer Berlin / Heidelberg},
abstract = {Model driven development platforms such as the industry leader Eclipse Modeling Framework (EMF) greatly benefit from pattern matching, as it supports various usecases including model validation, model transformation, code generation and domain specific behaviour simulation. Pattern matching is a search for model elements conforming to a given pattern that describes their arrangement and properties, e.g. finding a violation of a complex well-formedness constraint of a domain specific modeling language.
},
isbn = {978-3-642-21469-1},
url = {http://dx.doi.org/10.1007/978-3-642-21470-7\_32},
author = {G{\'a}bor Bergmann and {\'A}kos Horv{\'a}th and Istv{\'a}n R{\'a}th and D{\'a}niel Varr{\'o}},
editor = {Robert France and Kuester, Jochen and Bordbar, Behzad and Paige, Richard}
}
@inproceedings {eiq:ase11tut,
title = {Implementing Efficient Model Validation in {EMF} Tools: Tool Demonstration},
booktitle = {26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)},
year = {2011},
month = {11/2011},
publisher = {IEEE Computer Society},
organization = {IEEE Computer Society},
address = {Lawrence, Kansas, USA},
abstract = {Model-driven development tools built on industry standard platforms, such as the Eclipse Modeling Framework (EMF), heavily use model queries in various use cases, such as model transformation, well-formedness constraint validation and domain-specific model execution. As these queries are executed rather frequently in interactive modeling applications, they have a significant impact on the runtime performance of the tool, and also on the end user experience. However, due to their complexity, they can be time consuming to implement and optimize on a case-by-case basis. To address these shortcomings, we developed the EMF-INCQUERY framework for defining declarative queries over EMF models and executing them effectively using a caching mechanism.
In the current paper, we demonstrate how our framework can be easily integrated with other EMF tools. We describe a case study in which EMF-INCQUERY is integrated into the open source Papyrus UML environment to provide on-the-fly validation of well-formedness criteria in UML models.
},
keywords = {EMF, incremental evaluation, model query, model validation},
doi = {10.1109/ASE.2011.6100130},
url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6100130},
author = {G{\'a}bor Bergmann and {\'A}bel Heged{\"u}s and {\'A}kos Horv{\'a}th and Istv{\'a}n R{\'a}th and Zolt{\'a}n Ujhelyi and D{\'a}niel Varr{\'o}}
}
@inproceedings {DSE:ASE2011,
title = {A Model-driven Framework for Guided Design Space Exploration},
booktitle = {26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)},
year = {2011},
note = {ACM Distinguished Paper Award, Acceptance rate: 15\%},
month = {11/2011},
publisher = {IEEE Computer Society},
organization = {IEEE Computer Society},
address = {Lawrence, Kansas, USA},
abstract = {Design space exploration (DSE) aims at searching through various models representing different design candidates to support activities like configuration design of critical systems or automated maintenance of IT systems. In model-driven engineering, DSE is applied to find instance models that are (i) reachable from an initial model with a sequence of transformation rules and (ii) satisfy a set of structural and numerical constraints. Since exhaustive exploration of the design space is infeasible for large models, the traversal is often guided by hints, derived by system analysis, to prioritize the next states to traverse (selection criteria) and to avoid searching unpromising states (cut-off criteria). In this paper, we define an exploration approach where selection and cut-off criteria are defined using dependency analysis of transformation rules and an algebraic abstraction. The approach is evaluated against other exploration techniques and illustrated on a cloud infrastructure configuration problem.
},
keywords = {design space exploration, Viatra},
doi = {http://dx.doi.org/10.1109/ASE.2011.6100051},
url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6100051},
author = {{\'A}bel Heged{\"u}s and {\'A}kos Horv{\'a}th and Istv{\'a}n R{\'a}th and D{\'a}niel Varr{\'o}}
}
@inproceedings {DSE:vlhcc11,
title = {Quick fix generation for {DSMLs}},
booktitle = {IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2011},
year = {2011},
note = {Acceptance rate: 33\%},
month = {09/2011},
publisher = {IEEE Computer Society},
organization = {IEEE Computer Society},
address = {Pittsbourgh, PA, USA},
abstract = {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 syntax-correctness of models even during free-hand editing,\ they often lack the ability of maintaining the non-syntactical\ language-specific constraints in models. Hence, there is a need\ for approaches which are capable of assisting DSML users\ to create consistent models. In this paper we describe an\ approach for generating quick fixes for DSMLs based on a set of\ domain-specific constraints and model manipulation operations.\ Our approach uses state-space exploration techniques to find\ sequences of operations which lead to less inconsistent models.\ The approach is illustrated on a case study using the BPMN\ DSML and it is evaluated by several experiments to show its\ feasibility and performance.
},
keywords = {domain-specific languages, model transformations, quickfix generation, Viatra},
doi = {10.1109/VLHCC.2011.6070373},
url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6070373},
author = {{\'A}bel Heged{\"u}s and {\'A}kos Horv{\'a}th and Istv{\'a}n R{\'a}th and Mois{\'e}s Castelo Branco and D{\'a}niel Varr{\'o}}
}
@inproceedings {eiq:tools12demo,
title = {Integrating Efficient Model Queries in State-of-the-art {EMF} Tools},
booktitle = {TOOLS Europe 2012},
year = {2012},
note = {To appear},
publisher = {Springer},
organization = {Springer},
address = {Prague},
author = {G{\'a}bor Bergmann and {\'A}bel Heged{\"u}s and {\'A}kos Horv{\'a}th and Zolt{\'a}n Ujhelyi and Istv{\'a}n R{\'a}th and D{\'a}niel Varr{\'o}}
}
@inproceedings {eiq:ecmfa12derived,
title = {Derived Features for {EMF} by Integrating Advanced Model Queries},
booktitle = {8th European Conference on Modelling Foundations and Applications},
year = {2012},
note = {To appear},
publisher = {Springer},
organization = {Springer},
address = {Kgs. Lyngby, Denmark},
keywords = {derived features, IncQuery, query, Viatra},
author = {Istv{\'a}n R{\'a}th and {\'A}bel Heged{\"u}s and D{\'a}niel Varr{\'o}}
}
@inproceedings {ICGT12trans,
title = {Incremental pattern matching for the efficient computation of transitive closures},
booktitle = {Sixth International Conference on Graph Transformation},
year = {2012},
address = {Bremen, Germany },
author = {G{\'a}bor Bergmann and Istv{\'a}n R{\'a}th and Tam{\'a}s Szab{\'o} and Paolo Torrini and D{\'a}niel Varr{\'o}},
note = {Accepted.}
}
@inproceedings{MODELS12,
title = {Query-driven soft interconnection of EMF models},
booktitle = {ACM/IEEE 15th International Conference on Model Driven Engineering Languages \& Systems},
year = {2012},
note = {Accepted. Acceptance rate: 23\%},
publisher = {Springer},
organization = {Springer},
address = {Innsbruck, Austria},
keywords = {viatra incquery},
author = {{\'A}bel Heged{\"u}s and {\'A}kos Horv{\'a}th and Istv{\'a}n R{\'a}th and D{\'a}niel Varr{\'o}}
}