TY - JOUR AU - Heinrich, Robert AU - Strittmatter, Misha AU - Reussner, Ralf TI - A Layered Reference Architecture for Metamodels to Tailor Quality Modeling and Analysis JF - IEEE TRANSACTIONS ON SOFTWARE ENGINEERING J2 - IEEE T SOFTWARE ENG VL - 47 PY - 2021 IS - 4 SP - 775 EP - 800 PG - 26 SN - 0098-5589 DO - 10.1109/TSE.2019.2903797 UR - https://m2.mtmt.hu/api/publication/32268419 ID - 32268419 AB - Nearly all facets of our everyday life strongly depend on software-intensive systems. Besides correctness, highly relevant quality properties of these systems include performance, as directly perceived by the user, and maintainability, as an important decision factor for evolution. These quality properties strongly depend on architectural design decisions. Hence, to ensure high quality, research and practice is interested in approaches to analyze the system architecture for quality properties. Therefore, models of the system architecture are created and used for analysis. Many different languages (often defined by metamodels) exist to model the systems and reason on their quality. Such languages are mostly specific to quality properties, tools or development paradigms. Unfortunately, the creation of a specific model for any quality property of interest and any different tool used is simply infeasible. Current metamodels for quality modeling and analysis are often not designed to be extensible and reusable. Experience from generalizing and extending metamodels result in hard to evolve and overly complex metamodels. A systematic way of creating, extending and reusing metamodels for quality modeling and analysis, or parts of them, does not exist yet. When comparing metamodels for different quality properties, however, substantial parts show quite similar language features. This leads to our approach to define the first reference architecture for metamodels for quality modeling and analysis. A reference architecture in software engineering provides a general architecture for a given application domain. In this paper, we investigate the applicability of modularization concepts from object-oriented design and the idea of a reference architecture to metamodels for quality modeling and analysis to systematically create, extend and reuse metamodel parts. Thus, the reference architecture allows to tailor metamodels. Requirements on the reference architecture are gathered from a historically grown metamodel. We specify modularization concepts as a foundation of the reference architecture. Detailed application guidelines are described. We argue the reference architecture supports instance compatibility and non-intrusive, independent extension of metamodels. In four case studies, we refactor historically grown metamodels and compare them to the original metamodels. The study results show the reference architecture significantly improves evolvability as well as need-specific use and reuse of metamodels. LA - English DB - MTMT ER - TY - CHAP AU - Lopez, Jose Antonio Hernandez AU - Cuadrado, Jesus Sanchez TI - Towards the Characterization of Realistic Model Generators using Graph Neural Networks T2 - 2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS) SN - 9781665434959 PY - 2021 SP - 58 EP - 69 PG - 12 DO - 10.1109/MODELS50736.2021.00015 UR - https://m2.mtmt.hu/api/publication/32647440 ID - 32647440 LA - English DB - MTMT ER - TY - JOUR AU - Semeráth, Oszkár AU - Aren, A. Babikian AU - Boqi, Chen AU - Chuning, Li AU - Marussy, Kristóf AU - Szárnyas, Gábor AU - Varró, Dániel TI - Automated Generation of Consistent, Diverse and Structurally Realistic Graph Models JF - SOFTWARE AND SYSTEMS MODELING J2 - SOFTW SYST MODEL VL - 20 PY - 2021 IS - 5 SP - 1713 EP - 1734 PG - 22 SN - 1619-1366 DO - 10.1007/s10270-021-00884-z UR - https://m2.mtmt.hu/api/publication/32028274 ID - 32028274 N1 - MTA-BME Lendület Cyber-Physical Systems Res. Grp. Department of Measurement and Information Systems, Budapest University of Technology and Economics, Magyar tudósok krt. 2, Budapest, 1117, Hungary Department of Electrical and Computer Engineering, McGill University, 3480 Rue University, Montréal, QC H3A 0E9, Canada Cited By :1 Export Date: 9 June 2022 Correspondence Address: Semeráth, O.; MTA-BME Lendület Cyber-Physical Systems Res. Grp. Department of Measurement and Information Systems, Magyar tudósok krt. 2, Hungary; email: semerath@mit.bme.hu Funding details: Natural Sciences and Engineering Research Council of Canada, NSERC, PGSD3-546810-2020, RGPIN-04573-16 Funding details: Fonds de recherche du Québec – Nature et technologies, FRQNT, 272709 Funding details: Nemzeti Kutatási, Fejlesztési és Innovaciós Alap, NKFIA Funding details: Innovációs és Technológiai Minisztérium Funding text 1: We would like to thank all three reviewers for their detailed and insightful feedback. This paper was partially supported by the NSERC RGPIN-04573-16 project, the NSERC PGSD3-546810-2020 scholarship, the McGill Grad Excellence Award-90025, the Fonds de recherche du Québec - Nature et technologies (FRQNT) B1X scholarship (file number: 272709), the ÚNKP-20-4 New National Excellence Program of the Ministry for Innovation and Technology from the source of the National Research, Development and Innovation Fund, and by the NRDI Fund based on the charter of bolster issued by the NRDI Office under the auspices of the Ministry for Innovation and Technology. We would like to thank the Department of Electrical and Computer Engineering, and the School of Computer Science of McGill University for providing resources to run our measurements. During the development of the achievements, we took into consideration the goals set by the Balatonfüred System Science Innovation Cluster and the plans of the “BME Balatonfüred Knowledge Center,” supported by EFOP 4.2.1-16-2017-00021. Funding text 2: We would like to thank all three reviewers for their detailed and insightful feedback. This paper was partially supported by the NSERC RGPIN-04573-16 project, the NSERC PGSD3-546810-2020 scholarship, the McGill Grad Excellence Award-90025, the Fonds de recherche du Qu?bec - Nature et technologies (FRQNT) B1X scholarship (file number: 272709), the ?NKP-20-4 New National Excellence Program of the Ministry for Innovation and Technology from the source of the National Research, Development and Innovation Fund, and by the NRDI Fund based on the charter of bolster issued by the NRDI Office under the auspices of the Ministry for Innovation and Technology. We would like to thank the Department of Electrical and Computer Engineering, and the School of Computer Science of McGill University for providing resources to run our measurements. During the development of the achievements, we took into consideration the goals set by the Balatonf?red System Science Innovation Cluster and the plans of the ?BME Balatonf?red Knowledge Center,? supported by EFOP 4.2.1-16-2017-00021. AB - In this paper, we present a novel technique to automatically synthesize consistent, diverse and structurally realistic domain-specific graph models. A graph model is (1) consistent if it is metamodel-compliant and it satisfies the well-formedness constraints of the domain; (2) it is diverse if local neighborhoods of nodes are highly different; and (1) it is structurally realistic if a synthetic graph is at a close distance to a representative real model according to various graph metrics used in network science, databases or software engineering. Our approach grows models by model extension operators using a hill-climbing strategy in a way that (A) ensures that there are no constraint violation in the models (for consistency reasons), while (B) more realistic candidates are selected to minimize a target metric value (wrt. the representative real model). We evaluate the effectiveness of the approach for generating realistic models using multiple metrics for guidance heuristics and compared to other model generators in the context of three case studies with a large set of real human models. We also highlight that our technique is able to generate a diverse set of models, which is a requirement in many testing scenarios. LA - English DB - MTMT ER - TY - CHAP AU - Muhammad, Saleem AU - Szárnyas, Gábor AU - Felix, Conrads AU - Syed, Ahmad Chan Bukhari AU - Qaiser, Mehmood AU - Axel-Cyrille, Ngonga Ngomo ED - Ling, Liu ED - Ryen, White TI - How Representative is a SPARQL Benchmark? An Analysis of RDF Triplestore Benchmarks T2 - WWW '19 PB - Association for Computing Machinery (ACM) CY - New York, New York SN - 9781450366748 PY - 2019 SP - 1623 EP - 1633 PG - 11 DO - 10.1145/3308558.3313556 UR - https://m2.mtmt.hu/api/publication/30427899 ID - 30427899 N1 - Amazon; Bloomberg; Criteo AI Lab; et al.; Google; Microsoft AKSW, Leipzig University, Germany Department of Pathology, Yale School of Medicine, United States MTA-BME Lendület Cyber-Physical Systems Research Group, Hungary Insight Centre for Data Analytics, University of Ireland, Galway, Ireland DICE, Paderborn University, Germany DICE, Paderborn University AKSW, Leipzig University, Germany Department of Measurement and Information Systems at the Budapest University of Technology and Economics, Hungary Conference code: 147966 Cited By :29 Export Date: 7 February 2024 Funding details: European Molecular Biology Organization, EMBO, 19F2029I Funding details: Blood Systems Research Institute, BSRI, ÚNKP-18-3-III Funding details: Science Foundation Ireland, SFI, SFI/12/RC/2289 Funding details: Ontario Power Authority, OPA, 19F2028A Funding details: Beijing Institute of Technology, BIT, 688227 Funding details: Emberi Eroforrások Minisztériuma Funding text 1: This work has been supported by the project HOBBIT (GA no. 688227), LIMBO (no. 19F2029I) and OPAL (no. 19F2028A) as well as by Science Foundation Ireland (SFI) under Grant No. SFI/12/RC/2289, MTA-BME Lendület Cyber-Physical Systems Research Group, and the ÚNKP-18-3-III New National Excellence Program of the Ministry of Human Capacities, Hungary. The authors would like to thank János Benjamin Antal for his assistance in reworking and benchmarking the LDBC SNB queries. AB - Triplestores are data management systems for storing and querying RDF data. Over recent years, various benchmarks have been proposed to assess the performance of triplestores across different performance measures. However, choosing the most suitable benchmark for evaluating triplestores in practical settings is not a trivial task. This is because triplestores experience varying workloads when deployed in real applications. We address the problem of determining an appropriate benchmark for a given real-life workload by providing a fine-grained comparative analysis of existing triplestore benchmarks. In particular, we analyze the data and queries provided with the existing triplestore benchmarks in addition to several real-world datasets. Furthermore, we measure the correlation between the query execution time and various SPARQL query features and rank those features based on their significance levels. Our experiments reveal several interesting insights about the design of such benchmarks. With this fine-grained evaluation, we aim to support the design and implementation of more diverse benchmarks. Application developers can use our result to analyze their data and queries and choose a data management system. LA - English DB - MTMT ER - TY - CHAP AU - Varró, Dániel AU - Semeráth, Oszkár AU - Szárnyas, Gábor AU - Horváth, Ákos ED - Reiko, Heckel ED - Gabriele, Taentzer TI - Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models T2 - Graph Transformation, Specifications, and Nets PB - Springer Netherlands CY - Berlin CY - Heidelberg SN - 9783319753959 T3 - Lecture Notes in Computer Science, ISSN 0302-9743 ; 10800. PY - 2018 SP - 285 EP - 312 PG - 28 DO - 10.1007/978-3-319-75396-6_16 UR - https://m2.mtmt.hu/api/publication/3327320 ID - 3327320 LA - English DB - MTMT ER - TY - CHAP AU - Semeráth, Oszkár AU - Nagy, András Szabolcs AU - Varró, Dániel ED - Marsha, Chechik ED - Mark, Harman TI - A Graph Solver for the Automated Generation of Consistent Domain-Specific Models T2 - ICSE '18 PB - ACM Press CY - New York, New York SN - 9781450356381 PY - 2018 SP - 980 EP - 980 PG - 12 DO - 10.1145/3180155.3180186 UR - https://m2.mtmt.hu/api/publication/3335161 ID - 3335161 LA - English DB - MTMT ER - TY - JOUR AU - Szárnyas, Gábor AU - Izsó, Benedek AU - Ráth, István Zoltán AU - Varró, Dániel TI - The Train Benchmark: cross-technology performance evaluation of continuous model queries JF - SOFTWARE AND SYSTEMS MODELING J2 - SOFTW SYST MODEL VL - 17 PY - 2018 IS - 4 SP - 1365 EP - 1393 PG - 29 SN - 1619-1366 DO - 10.1007/s10270-016-0571-8 UR - https://m2.mtmt.hu/api/publication/3172039 ID - 3172039 LA - English DB - MTMT ER - TY - CONF AU - Ferdjoukh, Adel AU - Galinier, Florian AU - Bourreau, Eric AU - Chateau, Annie AU - Nebut, Clémentine TI - Measuring Differences to Compare sets of Models and Improve Diversity in MDE T2 - The Twelfth International Conference on Software Engineering Advances PY - 2017 SP - 73 EP - 81 PG - 9 UR - https://m2.mtmt.hu/api/publication/26808836 ID - 26808836 LA - English DB - MTMT ER - TY - JOUR AU - Szárnyas, Gábor AU - János, Maginecz AU - Varró, Dániel TI - Evaluation of Optimization Strategies for Incremental Graph Queries JF - PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING AND COMPUTER SCIENCE J2 - PERIOD POLYTECH ELECTR ENG COMP SCI VL - 61 PY - 2017 IS - 2 SP - 175 EP - 192 PG - 18 SN - 2064-5260 DO - 10.3311/PPee.9769 UR - https://m2.mtmt.hu/api/publication/3171691 ID - 3171691 LA - English DB - MTMT ER - TY - CONF AU - Szárnyas, Gábor ED - Jeff, Gray ED - Ruth, Breu TI - Scalable Graph Query Evaluation and Benchmarking with Realistic Models T2 - ACM Student Research Competition at MODELS 2016 PB - CEUR Workshop Proceedings T3 - CEUR Workshop Proceedings, ISSN 1613-0073 ; 1775. PY - 2016 SP - 1 EP - 8 PG - 8 UR - https://m2.mtmt.hu/api/publication/3172061 ID - 3172061 N1 - idéző Cím: Scalable Graph Query Evaluation and Benchmarking with Realistic Models idéző Kiadó: CEUR-WS. org idéző Megjegyzés: PBCEUR-WS.org idéző Megjelenés éve: 2016 AB - Model queries are widely used in model-driven engineering toolchains: models are checked for errors with validation queries, model simulations and transformations require complex pattern matching, while injective mappings for views are defined with model queries. Efficient and scalable evaluation of complex queries on large models is a challenging task. To achieve scalable graph query evaluation, I identified key challenges such as the lack of credible benchmarks and difficulties of obtaining real models for performance testing. To address these challenges, my contributions target (1) distributed incremental graph queries, (2) a cross-technology benchmark for model validation, (3) characterization of realistic models, and (4) realistic models generation. LA - English DB - MTMT ER - TY - GEN AU - Szatmári, Zoltán TI - Metamodel-based model generation and validation techniques with applications PY - 2016 UR - https://m2.mtmt.hu/api/publication/26705372 ID - 26705372 N1 - idéző Cím: Metamodel-based model generation and validation techniques with applications idéző Kiadó: Informatikai Tudományok Doktori Iskola idéző Megjegyzés: PBInformatikaiTudományokDoktoriIskola idéző Megjelenés éve: 2016 LA - English DB - MTMT ER -