TY - THES AU - Ujhelyi, Zoltán TI - Program Analysis Techniques for Model Queries and Transformations PB - Budapesti Műszaki és Gazdaságtudományi Egyetem PY - 2017 SP - 120 UR - https://m2.mtmt.hu/api/publication/3249492 ID - 3249492 LA - English DB - MTMT ER - TY - CHAP AU - Ujhelyi, Zoltán AU - Bergmann, Gábor AU - Varró, Dániel ED - Echahed, Rachid ED - Minas, Mark TI - Rete Network Slicing for Model Queries T2 - Graph Transformation PB - Springer Netherlands CY - Cham (Németország) SN - 9783319405308 T3 - Lecture Notes in Computer Science, ISSN 0302-9743 ; 9761. PY - 2016 SP - 137 EP - 152 PG - 16 DO - 10.1007/978-3-319-40530-8_9 UR - https://m2.mtmt.hu/api/publication/3092086 ID - 3092086 N1 - Megjegyzés-27239536 A4 Admin megjegyzés-27239536 #JournalID1# Name: 9th International Conference on Graph Transformation, ICGT 2016 in Memory of Hartmut Ehrig held as part of Conference on Software Technologies: Applications and Foundations, STAF 2016 ISSN: 0302-9743 #JournalID2# Megjegyzés-27246019 A4 Admin megjegyzés-27246019 #JournalID1# Name: 9th International Conference on Graph Transformation, ICGT 2016 in Memory of Hartmut Ehrig held as part of Conference on Software Technologies: Applications and Foundations, STAF 2016 ISSN: 0302-9743 #JournalID2# LA - English DB - MTMT ER - TY - JOUR AU - Varró, Dániel AU - Bergmann, Gábor AU - Hegedüs, Ábel AU - Horváth, Á AU - Ráth, István Zoltán AU - Ujhelyi, Zoltán TI - Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework JF - SOFTWARE AND SYSTEMS MODELING J2 - SOFTW SYST MODEL VL - 15 PY - 2016 IS - 3 SP - 609 EP - 629 PG - 21 SN - 1619-1366 DO - 10.1007/s10270-016-0530-4 UR - https://m2.mtmt.hu/api/publication/3092063 ID - 3092063 N1 - Megjegyzés-26230249 Megjegyzés-27167935 OA gold LA - English DB - MTMT ER - TY - CHAP AU - Búr, Márton AU - Ujhelyi, Zoltán AU - Horváth, Ákos AU - Varró, Dániel ED - Parisi-Presicce, Francesco ED - Westfechtel, Bernhard TI - Local Search-Based Pattern Matching Features in EMF-IncQuery T2 - Graph Transformation PB - Springer Netherlands CY - Cham SN - 9783319211459 T3 - Lecture Notes in Computer Science, ISSN 0302-9743 ; 9151. PY - 2015 SP - 275 EP - 282 PG - 8 DO - 10.1007/978-3-319-21145-9_18 UR - https://m2.mtmt.hu/api/publication/2924871 ID - 2924871 AB - Graph patterns provide a declarative formalism to describe model queries used for several important engineering tasks, such as well-formedness constraint validation or model transformations. As different pattern matching approaches, such as local search or incremental evaluation, have different performance characteristics (smaller memory footprint vs. smaller runtime), a wider range of practical problems can be addressed. The current paper reports on a novel feature of the EMF-IncQuery framework supporting local search-based pattern matching strategy to complement the existing incremental pattern matching capabilities. The reuse of the existing pattern language and query development environment of EMF-IncQuery enables to select the most appropriate strategy separately for each pattern without any modifications to the definitions of existing patterns. Furthermore, a graphical debugger component is introduced that visualizes the execution of the search process, helping to understand how complex patterns behave. This tool paper presents the new pattern matching feature from an end users viewpoint while the scientific details of the pattern matching strategy itself are omitted. The approach is illustrated on a case study of automated identification of anti-patterns over program models created from Java source code. LA - English DB - MTMT ER - TY - CHAP AU - Bergmann, Gábor AU - Dávid, István AU - Hegedüs, Ábel AU - Horváth, Ákos AU - Ráth, István Zoltán AU - Ujhelyi, Zoltán AU - Varró, Dániel ED - Kolovos, Dimitris ED - Wimmer, Manuel TI - Viatra 3: A Reactive Model Transformation Platform T2 - Theory and Practice of Model Transformations PB - Springer Netherlands CY - Cham SN - 9783319211558 T3 - Lecture Notes in Computer Science, ISSN 0302-9743 ; 9152. PY - 2015 SP - 101 EP - 110 PG - 10 DO - 10.1007/978-3-319-21155-8_8 UR - https://m2.mtmt.hu/api/publication/2924869 ID - 2924869 AB - 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. LA - English DB - MTMT ER - TY - JOUR AU - Ujhelyi, Zoltán AU - Szőke, Gábor AU - Horváth, Ákos AU - Norbert, István Csiszár AU - Vidács, László AU - Varró, Dániel AU - Ferenc, Rudolf TI - Performance comparison of query-based techniques for anti-pattern detection JF - INFORMATION AND SOFTWARE TECHNOLOGY J2 - INFORM SOFTWARE TECH VL - 65 PY - 2015 SP - 147 EP - 165 PG - 19 SN - 0950-5849 DO - 10.1016/j.infsof.2015.01.003 UR - https://m2.mtmt.hu/api/publication/2853474 ID - 2853474 N1 - Department of Measurement and Information Systems, Budapest University of Technology and Economics, Magyar tudósok krt. 2., Budapest, H-1117, Hungary Department of Software Engineering, University of Szeged, Dugonics tér 13., Szeged, H-6720, Hungary Refactoring 2011 Kft., Gutenberg u. 14., Szeged, H-6722, Hungary MTA-SZTE Research Group on Artificial Intelligence, University of Szeged, Tisza Lajos krt. 103., Szeged, H-6720, Hungary Cited By :12 Export Date: 18 December 2019 CODEN: ISOTE Correspondence Address: Ujhelyi, Z.; Department of Measurement and Information Systems, Budapest University of Technology and Economics, Magyar tudósok krt. 2., Hungary Funding details: ICT-611125 Funding details: ERC_HU-09-1-2010-0003, GOP-1.2.1-11-2011-0002 Funding details: ICT-609666 Funding text 1: The authors would like to thank István Ráth of Budapest University of Technology and Economics for his help in validating our measurement environment and evaluation. This paper was partially supported by the Hungarian National Grant GOP-1.2.1-11-2011-0002 , the CERTIMOT Project ( ERC_HU-09-1-2010-0003 ) and the EU FP7 STREP Projects MONDO ( ICT-611125 ) and REPARA ( ICT-609666 ). Department of Measurement and Information Systems, Budapest University of Technology and Economics, Magyar tudósok krt. 2., Budapest, H-1117, Hungary Department of Software Engineering, University of Szeged, Dugonics tér 13., Szeged, H-6720, Hungary Refactoring 2011 Kft., Gutenberg u. 14., Szeged, H-6722, Hungary MTA-SZTE Research Group on Artificial Intelligence, University of Szeged, Tisza Lajos krt. 103., Szeged, H-6720, Hungary Cited By :12 Export Date: 19 December 2019 CODEN: ISOTE Correspondence Address: Ujhelyi, Z.; Department of Measurement and Information Systems, Budapest University of Technology and Economics, Magyar tudósok krt. 2., Hungary Funding details: ICT-611125 Funding details: ERC_HU-09-1-2010-0003, GOP-1.2.1-11-2011-0002 Funding details: ICT-609666 Funding text 1: The authors would like to thank István Ráth of Budapest University of Technology and Economics for his help in validating our measurement environment and evaluation. This paper was partially supported by the Hungarian National Grant GOP-1.2.1-11-2011-0002 , the CERTIMOT Project ( ERC_HU-09-1-2010-0003 ) and the EU FP7 STREP Projects MONDO ( ICT-611125 ) and REPARA ( ICT-609666 ). Department of Measurement and Information Systems, Budapest University of Technology and Economics, Magyar tudósok krt. 2., Budapest, H-1117, Hungary Department of Software Engineering, University of Szeged, Dugonics tér 13., Szeged, H-6720, Hungary Refactoring 2011 Kft., Gutenberg u. 14., Szeged, H-6722, Hungary MTA-SZTE Research Group on Artificial Intelligence, University of Szeged, Tisza Lajos krt. 103., Szeged, H-6720, Hungary Cited By :12 Export Date: 2 January 2020 CODEN: ISOTE Correspondence Address: Ujhelyi, Z.; Department of Measurement and Information Systems, Budapest University of Technology and Economics, Magyar tudósok krt. 2., Hungary Funding details: ICT-611125 Funding details: ERC_HU-09-1-2010-0003, GOP-1.2.1-11-2011-0002 Funding details: ICT-609666 Funding text 1: The authors would like to thank István Ráth of Budapest University of Technology and Economics for his help in validating our measurement environment and evaluation. This paper was partially supported by the Hungarian National Grant GOP-1.2.1-11-2011-0002 , the CERTIMOT Project ( ERC_HU-09-1-2010-0003 ) and the EU FP7 STREP Projects MONDO ( ICT-611125 ) and REPARA ( ICT-609666 ). AB - Context: Program queries play an important role in several software evolution tasks like program comprehension, impact analysis, or the automated identification of anti-patterns for complex refactoring operations. A central artifact of these tasks is the reverse engineered program model built up from the source code (usually an Abstract Semantic Graph, ASG), which is traditionally post-processed by dedicated, hand-coded queries. Objective: Our paper investigates the costs and benefits of using the popular industrial Eclipse Modeling Framework (EMF) as an underlying representation of program models processed by four different general-purpose model query techniques based on native Java code, OCL evaluation and (incremental) graph pattern matching. Method: We provide in-depth comparison of these techniques on the source code of 28 Java projects using anti-pattern queries taken from refactoring operations in different usage profiles. Results: Our results show that general purpose model queries can outperform hand-coded queries by 2-3 orders of magnitude, with the trade-off of an increased in memory consumption and model load time of up to an order of magnitude. Conclusion: The measurement results of usage profiles can be used as guidelines for selecting the appropriate query technologies in concrete scenarios. LA - English DB - MTMT ER - TY - JOUR AU - Ujhelyi, Zoltán AU - Bergmann, Gábor AU - Hegedüs, Ábel AU - Horváth, Ákos AU - Izsó, Benedek AU - Ráth, István Zoltán AU - Szatmári, Zoltán AU - Varró, Dániel TI - EMF-IncQuery. An integrated development environment for live model queries TS - An integrated development environment for live model queries JF - SCIENCE OF COMPUTER PROGRAMMING J2 - SCI COMPUT PROGRAM VL - 98 PY - 2015 IS - Part 1 SP - 80 EP - 99 PG - 20 SN - 0167-6423 DO - 10.1016/j.scico.2014.01.004 UR - https://m2.mtmt.hu/api/publication/2696210 ID - 2696210 N1 - WoS:hiba:000347740500005 2020-08-27 08:55 cím nem egyezik LA - English DB - MTMT ER - TY - CONF AU - Szárnyas, Gábor AU - Semeráth, Oszkár AU - Izsó, Benedek AU - Debreceni, Csaba AU - Hegedüs, Ábel AU - Ujhelyi, Zoltán AU - Bergmann, Gábor ED - Krause, C ED - Horn, T ED - Rose, L M TI - Movie database case: An EMF-IncQuery solution T2 - 7th Transformation Tool Contest PB - CEUR Workshop Proceedings C1 - York T3 - CEUR Workshop Proceedings ; 1305. PY - 2014 SP - 103 EP - 115 PG - 13 UR - https://m2.mtmt.hu/api/publication/2813997 ID - 2813997 AB - 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. LA - English DB - MTMT ER - TY - CHAP AU - Debreceni, Csaba AU - Horváth, Ákos AU - Hegedüs, Ábel AU - Ujhelyi, Zoltán AU - Ráth, István Zoltán AU - Varró, Dániel ED - C, Atkinson ED - E, Burger ED - T, Goldschmidt ED - R, Reussner TI - Query-driven Incremental Synchronization of View Models T2 - Proceedings of the 2nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling PB - ACM Press CY - New York, New York SN - 9781450329002 PY - 2014 SP - 31 EP - 38 PG - 8 DO - 10.1145/2631675.2631677 UR - https://m2.mtmt.hu/api/publication/2763253 ID - 2763253 AB - Views are key concepts of domain-specific modeling in order to provide specific focus of the designers by abstracting from unnecessary details of the underlying abstract model. Usually, these views are represented as models themselves (view models), computed from the source model. However, the efficient maintenance of views when the source model changes is challenging, as recalculation from scratch has to be avoided to achieve scalability. In the paper, we propose an approach to define view models in a highly automated way, based on declarative model queries. The views are automatically populated in accordance with the lifecycle of regular model elements - however, their existence is entirely bound to the underlying abstract model. This means that view models are automatically and incrementally maintained. Our contribution can also be interpreted as extending the concepts of derived features to derived objects, specified and maintained by incremental queries. LA - English DB - MTMT ER - TY - CHAP AU - Ujhelyi, Zoltán AU - Horváth, Ákos AU - Varró, Dániel AU - Csiszár, Norbert István AU - Szőke, Gábor AU - Vidács, László AU - Ferenc, Rudolf ED - Demeyer, S ED - Binkley, D ED - Ricca, F TI - Anti-pattern detection with model queries: A comparison of approaches T2 - 2014 SOFTWARE EVOLUTION WEEK - IEEE CONFERENCE ON SOFTWARE MAINTENANCE, REENGINEERING, AND REVERSE ENGINEERING (CSMR-WCRE) PB - IEEE CY - New York, New York SN - 9781479937523 PY - 2014 SP - 293 EP - 302 PG - 10 DO - 10.1109/CSMR-WCRE.2014.6747181 UR - https://m2.mtmt.hu/api/publication/2498771 ID - 2498771 LA - English DB - MTMT ER -