@book{MTMT:30439848, title = {100 years of Hungarian military mapping 1919-2019}, url = {https://m2.mtmt.hu/api/publication/30439848}, isbn = {9789633276839}, author = {László, Buga and Hegedüs, Ábel and Jankó, Annamária and József, Mihalik and Annamária, Rojkó and Suba, János and Béla, Szabó and Gyula, Szabó and Erika, Szalánczi Szabóné and Ágoston, Tremmel and Lajos, Várszegi}, publisher = {Zrínyi Kiadó}, unique-id = {30439848}, year = {2019}, orcid-numbers = {Hegedüs, Ábel/0000-0002-8940-4348; Suba, János/0000-0002-2310-7746} } @inproceedings{MTMT:30710636, title = {Incquery server for teamwork cloud}, url = {https://m2.mtmt.hu/api/publication/30710636}, author = {Hegedüs, Ábel and Ráth, István Zoltán and Bergmann, Gábor and Debreceni, Csaba and Horváth, Ákos and Lunk, Péter and Menyhért, Ákos and Papp, István and Varró, Dániel and Vileiniskis, Tomas}, booktitle = {Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion Proceedings - MODELS '18}, doi = {10.1145/3270112.3270125}, unique-id = {30710636}, year = {2018}, pages = {27-31}, orcid-numbers = {Hegedüs, Ábel/0000-0002-8940-4348; Bergmann, Gábor/0000-0002-2556-2582; Debreceni, Csaba/0000-0002-6263-7758; Varró, Dániel/0000-0002-8790-252X} } @article{MTMT:3092063, title = {Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework}, url = {https://m2.mtmt.hu/api/publication/3092063}, author = {Varró, Dániel and Bergmann, Gábor and Hegedüs, Ábel and Horváth, Á and Ráth, István Zoltán and Ujhelyi, Zoltán}, doi = {10.1007/s10270-016-0530-4}, journal-iso = {SOFTW SYST MODEL}, journal = {SOFTWARE AND SYSTEMS MODELING}, volume = {15}, unique-id = {3092063}, issn = {1619-1366}, year = {2016}, eissn = {1619-1374}, pages = {609-629}, orcid-numbers = {Varró, Dániel/0000-0002-8790-252X; Bergmann, Gábor/0000-0002-2556-2582; Hegedüs, Ábel/0000-0002-8940-4348; Ujhelyi, Zoltán/0000-0002-2091-6441} } @article{MTMT:2693671, title = {Query-driven soft traceability links for models}, url = {https://m2.mtmt.hu/api/publication/2693671}, author = {Hegedüs, Ábel and Horváth, Ákos and Ráth, István Zoltán and Rodrigo, Rizzi Starr and Varró, Dániel}, doi = {10.1007/s10270-014-0436-y}, journal-iso = {SOFTW SYST MODEL}, journal = {SOFTWARE AND SYSTEMS MODELING}, volume = {15}, unique-id = {2693671}, issn = {1619-1366}, abstract = {Model repositories play a central role in the model driven development of complex software- intensive systems by offering means to persist and manipulate models obtained from heterogeneous languages and tools. Complex models can be assembled by interconnecting model fragments by hard links, i.e., regular references, where the target end points to external resources using storage-specific identifiers. This approach, in certain application scenarios, may prove to be a too rigid and error prone way of interlinking models. As a flexible alternative, we propose to combine derived features with advanced incremental model queries as means for soft interlinking of model elements residing in different model resources. These soft links can be calculated on-demand with graceful handling for temporarily unresolved references. In the background, the links are maintained efficiently and flexibly by using incremental model query evaluation. The approach is applicable to modeling environments or even property graphs for representing query results as first-class relations, which also allows the chaining of soft links that is useful for modular applications. The approach is evaluated using the Eclipse Modeling Framework (EMF) and EMF-IncQuery in two complex industrial case studies. The first case study is motivated by a knowledge management project from the financial domain, involving a complex interlinked structure of concept and business process models. The second case study is set in the avionics domain with strict traceability requirements enforced by certification standards (DO-178b). It consists of multiple domain models describing the allocation scenario of software functions to hardware components.}, keywords = {doktori iskola: Villamosmérnöki Tudományok}, year = {2016}, eissn = {1619-1374}, pages = {733-756}, orcid-numbers = {Hegedüs, Ábel/0000-0002-8940-4348; Varró, Dániel/0000-0002-8790-252X} } @inproceedings{MTMT:3029854, title = {Cost Prediction for V&V and Certification Processes}, url = {https://m2.mtmt.hu/api/publication/3029854}, author = {Francesco, Brancati and Pataricza, András and Nuno, Silva and Hegedüs, Ábel and Gönczy, László and Andrea, Bondavalli and Rosaria, Esposito}, booktitle = {45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2015}, doi = {10.1109/DSN-W.2015.15}, unique-id = {3029854}, year = {2015}, pages = {57-62}, orcid-numbers = {Pataricza, András/0000-0002-6516-129X; Hegedüs, Ábel/0000-0002-8940-4348} } @mastersthesis{MTMT:2944244, title = {Back-Annotation of Execution Sequences by Advanced Search and Traceability Techniques}, url = {https://m2.mtmt.hu/api/publication/2944244}, author = {Hegedüs, Ábel}, publisher = {Budapest University of Technology and Economics}, unique-id = {2944244}, year = {2015}, orcid-numbers = {Hegedüs, Ábel/0000-0002-8940-4348} } @inproceedings{MTMT:2924869, title = {Viatra 3: A Reactive Model Transformation Platform}, url = {https://m2.mtmt.hu/api/publication/2924869}, author = {Bergmann, Gábor and Dávid, István and Hegedüs, Ábel and Horváth, Ákos and Ráth, István Zoltán and Ujhelyi, Zoltán and Varró, Dániel}, booktitle = {Theory and Practice of Model Transformations}, doi = {10.1007/978-3-319-21155-8_8}, unique-id = {2924869}, abstract = {Model-driven tools frequently rely on advanced technologies to support model queries, view maintenance, design rule validation, model transformations or design space exploration. Some of these features are initiated explicitly by domain engineers (batch execution) while others are executed automatically when certain trigger events are detected (live execution). Unfortunately, their integration into a complex industrial modeling environment is difficult due to hidden interference and unspecified interaction between different features. In this paper, we present a reactive, event-driven model transformation platform over EMF models, which captures tool features as model queries and transformations, and provides a systematic, well-founded integration between a variety of such tool features. Viatra 3 offers a family of internal DSLs (i.e. dedicated libraries) to specify advanced tool features built on top of existing languages like EMF-IncQuery and Xtend. Its main innovation is a source incremental execution scheme built on the reactive programming paradigm ssupported by an event-driven virtual machine.}, keywords = {Virtual machine; Source incremental transformations; Reactive programming; Event-driven transformation}, year = {2015}, pages = {101-110}, orcid-numbers = {Bergmann, Gábor/0000-0002-2556-2582; Hegedüs, Ábel/0000-0002-8940-4348; Ujhelyi, Zoltán/0000-0002-2091-6441; Varró, Dániel/0000-0002-8790-252X} } @article{MTMT:2763228, title = {A model-driven framework for guided design space exploration}, url = {https://m2.mtmt.hu/api/publication/2763228}, author = {Hegedüs, Ábel and Horváth, Ákos and Varró, Dániel}, doi = {10.1007/s10515-014-0163-1}, journal-iso = {AUTOMAT SOFTW ENG}, journal = {AUTOMATED SOFTWARE ENGINEERING}, volume = {22}, unique-id = {2763228}, issn = {0928-8910}, 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 and algebraic abstraction of transformation rules. Additionally, we apply different state encoding techniques to identify recurring states and reduce the number of visited states. Finally, we illustrate our approach on a cloud infrastructure configuration problem and provide detailed evaluation on both synthetic and real applications. This evaluation includes (i) the comparison of several exploration techniques, (ii) performance measurements on multiple state encoding techniques and (iii) comparing two implementation architectures of our design space exploration framework.}, keywords = {doktori iskola: Villamosmérnöki Tudományok}, year = {2015}, eissn = {1573-7535}, pages = {399-436}, orcid-numbers = {Hegedüs, Ábel/0000-0002-8940-4348; Varró, Dániel/0000-0002-8790-252X} } @article{MTMT:2696210, title = {EMF-IncQuery. An integrated development environment for live model queries}, url = {https://m2.mtmt.hu/api/publication/2696210}, author = {Ujhelyi, Zoltán and Bergmann, Gábor and Hegedüs, Ábel and Horváth, Ákos and Izsó, Benedek and Ráth, István Zoltán and Szatmári, Zoltán and Varró, Dániel}, doi = {10.1016/j.scico.2014.01.004}, journal-iso = {SCI COMPUT PROGRAM}, journal = {SCIENCE OF COMPUTER PROGRAMMING}, volume = {98}, unique-id = {2696210}, issn = {0167-6423}, year = {2015}, eissn = {1872-7964}, pages = {80-99}, orcid-numbers = {Ujhelyi, Zoltán/0000-0002-2091-6441; Bergmann, Gábor/0000-0002-2556-2582; Hegedüs, Ábel/0000-0002-8940-4348; Varró, Dániel/0000-0002-8790-252X} } @CONFERENCE{MTMT:2813997, title = {Movie database case: An EMF-IncQuery solution}, url = {https://m2.mtmt.hu/api/publication/2813997}, author = {Szárnyas, Gábor and Semeráth, Oszkár and Izsó, Benedek and Debreceni, Csaba and Hegedüs, Ábel and Ujhelyi, Zoltán and Bergmann, Gábor}, booktitle = {7th Transformation Tool Contest}, unique-id = {2813997}, abstract = {This paper presents a solution for the Movie Database Case of the Transformation Tool Contest 2014, using EMF-INCQUERY and Xtend for implementing the model transformation.}, year = {2014}, pages = {103-115}, orcid-numbers = {Debreceni, Csaba/0000-0002-6263-7758; Hegedüs, Ábel/0000-0002-8940-4348; Ujhelyi, Zoltán/0000-0002-2091-6441; Bergmann, Gábor/0000-0002-2556-2582} }