TY - JOUR AU - Sihler, Florian AU - Tichy, Matthias AU - Pietron, Jakob TI - One-Way Model Transformations in the Context of the Technology-Roadmapping Tool IRIS JF - JOURNAL OF OBJECT TECHNOLOGY J2 - J OBJECT TECHNOL VL - 22 PY - 2023 IS - 2 PG - 14 SN - 1660-1769 DO - 10.5381/jot.2023.22.2.a2 UR - https://m2.mtmt.hu/api/publication/34300319 ID - 34300319 AB - CONTEXT: Today's industry heavily depends on the collaboration of multiple companies that have to exchange a lot of information. When these companies use technology roadmapping and model-driven development, this leads to the exchange of very large models, which is governed by competition laws, and the companies' interest in protecting their intellectual property. OBJECTIVE: We suggest an automated one-way model transformation approach to remove content worth protecting from a given model in the context of the graphical technology-roadmapping modeling tool IRIS. MET HOD: We elaborate constraints that an obfuscated model must fulfill. Based on these, we systematically identify and analyze appropriate one-way transformations to enable the desired level of obfuscation, implementing a proof of concept implementation in IRIS. Our approach first transforms the model into a flattened constraint system and uses nine selected transformations-ranging from constant folding to the tailoring of expressions-to create a new model without the sensitive content. We evaluate our transformations according to a set of predefined properties and constraints regarding their effects on the behavior of the model and the inferable information. LIM ITATIONS: Our obfuscation concerns the model and the embedded formulas but does not deal with individual data, which may be subject to privacy-related issues. RESULTS: We find that the identified transformations are applicable in practice and that they can remove a lot of sensitive information from a given model. Future work includes dealing with individual data and protecting against reverse-engineering attacks by domain experts. LA - English DB - MTMT ER - TY - CHAP AU - Annighoefer, Bjoern AU - Brunner, Matthias AU - Luettig, Bastian AU - Schoepf, Julian ED - IEEE, Computer Society TI - EOQ: An Open Source Interface for a More DAMMMMN Domain-specific Model Utilization T2 - 2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) PB - IEEE Computer Society Press CY - Los Alamitos (CA) SN - 9781665424844 PY - 2021 SP - 484 EP - 493 PG - 10 DO - 10.1109/MODELS-C53483.2021.00075 UR - https://m2.mtmt.hu/api/publication/33003762 ID - 33003762 AB - Determinism, automation, multi-element, multimodel, multi-computer, multi-user support and neutrality (DAMMMMN) are in our opinion important qualities of domain-specific modeling, and are enablers for highly automated workflows and collaborative modeling. An improvement in any of these qualities eases the development of software using domain-specific models, and enables the design of more sophisticated Model-based Engineering Environments (MBEE). In the context of current programmatic interfaces for domain-specific models, we see room for improvement, and propose Essential Object Query (EOQ) as a generic interface between domain-specific (meta-)models and their users. This interface integrates ACID transactions, complex commands, model queries, reflection abstractions, mass data manipulation, object serialization, automation, notifications, change tracking, and a model database, such that a progranunatic decoupling between models and their usage is achieved. Our interface is agnostic with respect to the programming language(s) and domain-specific modeling framework(s). A prototype is implemented with Python on top of EMF's meta-model ECORE. An example of a signal routing application in an architecture model of a cyber-physical system is used to demonstrate our interface and to evaluate its impact on the individual DAMMMMN qualities. LA - English DB - MTMT ER - TY - CHAP AU - David, Istvan AU - Aslam, Kousar AU - Faridmoayer, Sogol AU - Malavolta, Ivano AU - Syriani, Eugene AU - Lago, Patricia TI - Collaborative Model-Driven Software Engineering: A Systematic Update T2 - 2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS) SN - 9781665434959 PY - 2021 SP - 273 EP - 284 PG - 12 DO - 10.1109/MODELS50736.2021.00035 UR - https://m2.mtmt.hu/api/publication/33141415 ID - 33141415 LA - English DB - MTMT ER - TY - JOUR AU - De Lara, Juan AU - Guerra, Esther AU - Kienzle, Jorg TI - Facet-oriented Modelling JF - ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY J2 - ACM T SOFTW ENG METH VL - 30 PY - 2021 IS - 3 PG - 59 SN - 1049-331X DO - 10.1145/3428076 UR - https://m2.mtmt.hu/api/publication/32403024 ID - 32403024 AB - Models are the central assets in model-driven engineering (MDE), as they are actively used in all phases of software development. Models are built using metamodel-based languages, and so objects in models are typed by a metamodel class. This typing is static, established at creation time, and cannot be changed later. Therefore, objects in MDE are closed and fixed with respect to the class they conform to, the fields they have, and the well-formedness constraints they must comply with. This hampers many MDE activities, like the reuse of model-related artefacts such as transformations, the opportunistic or dynamic combination of metamodels, or the dynamic reconfiguration of models.To alleviate this rigidity, we propose making model objects open so that they can acquire or drop so-called facets. These contribute with a type, fields and constraints to the objects holding them. Facets are defined by regular metamodels, hence being a lightweight extension of standard metamodelling. Facet metamodels may declare usage interfaces, as well as laws that govern the assignment of facets to objects (or classes).This article describes our proposal, reporting on a theory, analysis techniques, and an implementation. The benefits of the approach are validated on the basis of five case studies dealing with annotation models, transformation reuse, multi-view modelling, multi-level modelling, and language product lines. LA - English DB - MTMT ER - TY - JOUR AU - Abel, Gómez AU - ·Xabier, Mendialdua AU - ·Konstantinos, Barmpis AU - Bergmann, Gábor AU - Jordi, Cabot AU - ·Xabier, de Carlos AU - Debreceni, Csaba AU - ·Antonio, Garmendia AU - ·Dimitrios, S. Kolovos AU - ·Juan, de Lara TI - Scalable modeling technologies in the wild: an experience report on wind turbines control applications development JF - SOFTWARE AND SYSTEMS MODELING J2 - SOFTW SYST MODEL VL - 19 PY - 2020 IS - 5 SP - 1229 EP - 1261 PG - 33 SN - 1619-1366 DO - 10.1007/s10270-020-00776-8 UR - https://m2.mtmt.hu/api/publication/31128076 ID - 31128076 N1 - Elfogadott, nyomda alá rendezés alatt LA - English DB - MTMT ER - TY - CHAP AU - Brunschwig, Léa AU - Guerra, Esther AU - de Lara, Juan ED - Esther, Guerra ED - Ludovico, Iovino TI - Towards access control for collaborative modelling apps T2 - Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings PB - Association for Computing Machinery (ACM) CY - New York, New York SN - 9781450381352 PY - 2020 SP - 1 EP - 10 PG - 10 DO - 10.1145/3417990.3420201 UR - https://m2.mtmt.hu/api/publication/33141416 ID - 33141416 LA - English DB - MTMT ER - TY - JOUR AU - Hoang Nguyen Phuoc Bao, null AU - Clavel, Manuel TI - Model-based characterization of fine-grained access control authorization for SQL queries JF - JOURNAL OF OBJECT TECHNOLOGY J2 - J OBJECT TECHNOL VL - 19 PY - 2020 IS - 3 PG - 13 SN - 1660-1769 DO - 10.5381/jot.2020.19.3.a15 UR - https://m2.mtmt.hu/api/publication/31707149 ID - 31707149 AB - We propose a model-based characterization of fine-grained access control (FGAC) authorization for SQL queries. More specifically, we define a predicate AuthQuery() that represents whether a user is authorized by an FGAC-policy to execute a SQL query on a database. It is characteristic of FGAC-policies that access control decisions depend on dynamic information, namely whether the current state of the system satisfies some "authorization constraints". In our proposal, FGAC-policies are modeled using a dialect of SecureUML, and authorization constraints are specified using the Object Constraint Language (OCL). To illustrate our definition of the predicate AuthQuery(), we provide examples of authorization decisions for different SQL queries, attempted by different users, in different scenarios, and with respect to different FGAC-policies. Interestingly, the availability of mappings from OCL to SQL opens up the possibility of implementing AuthQuery() within the database and, consequently, of enforcing FGAC-policies following a model-driven approach. LA - English DB - MTMT ER - TY - JOUR AU - Semeráth, Oszkár AU - Farkas, Rebeka AU - Bergmann, Gábor AU - Varró, Dániel TI - Diversity of Graph Models and Graph Generators in Mutation Testing JF - INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER J2 - INT J SOFTW TOOLS TECHN TRANSFER VL - 22 PY - 2020 SP - 57 EP - 78 PG - 22 SN - 1433-2779 DO - 10.1007/s10009-019-00530-6 UR - https://m2.mtmt.hu/api/publication/30748493 ID - 30748493 LA - English DB - MTMT ER - TY - JOUR AU - Debreceni, Csaba AU - Bergmann, Gábor AU - Ráth, István Zoltán AU - Varró, Dániel TI - Enforcing Fine-grained Access Control for Secure Collaborative Modelling using Bidirectional Transformations JF - SOFTWARE AND SYSTEMS MODELING J2 - SOFTW SYST MODEL VL - 18 PY - 2019 IS - 3 SP - 1737 EP - 1769 PG - 33 SN - 1619-1366 DO - 10.1007/s10270-017-0631-8 UR - https://m2.mtmt.hu/api/publication/3330414 ID - 3330414 LA - English DB - MTMT ER - TY - JOUR AU - Lano, Kevin AU - Kolahdouz-Rahimi, Shekoufeh AU - Yassipour-Tehrani, Sobhan TI - Declarative Specification of Bidirectional Transformations Using Design Patterns JF - IEEE ACCESS J2 - IEEE ACCESS VL - 7 PY - 2019 SP - 5222 EP - 5249 PG - 28 SN - 2169-3536 DO - 10.1109/ACCESS.2018.2889399 UR - https://m2.mtmt.hu/api/publication/30413286 ID - 30413286 LA - English DB - MTMT ER - TY - JOUR AU - Debreceni, Csaba AU - Bergmann, Gábor AU - Ráth, István Zoltán AU - Varró, Dániel TI - Secure Views for Collaborative Modeling JF - IEEE SOFTWARE J2 - IEEE SOFTWARE VL - 35 PY - 2018 IS - 6 SP - 32 EP - 38 PG - 6 SN - 0740-7459 DO - 10.1109/MS.2018.290101728 UR - https://m2.mtmt.hu/api/publication/3394459 ID - 3394459 LA - English DB - MTMT ER - TY - CHAP AU - de Lara, Juan AU - Guerra, Esther AU - Kienzle, Jörg AU - Hattab, Yanis TI - Facet-oriented modelling: open objects for model-driven engineering T2 - Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering - SLE 2018 SN - 9781450360296 PY - 2018 SP - 147 EP - 159 PG - 13 DO - 10.1145/3276604.3276610 UR - https://m2.mtmt.hu/api/publication/30710828 ID - 30710828 LA - English DB - MTMT ER - TY - JOUR AU - Kundalwal, Mayank Kumar AU - Chatterjee, Kakali AU - Singh, Ashish TI - An improved privacy preservation technique in health-cloud JF - INFORMATION & COMMUNICATIONS TECHNOLOGY EXPRESS J2 - ICT EXPRESS VL - online PY - 2018 SP - https://www.sciencedirect.com/science/article/pii/S2405959518303850 SN - 2405-9595 DO - 10.1016/j.icte.2018.10.002 UR - https://m2.mtmt.hu/api/publication/30710834 ID - 30710834 LA - English DB - MTMT ER - TY - JOUR AU - Lano, Kevin AU - Kolahdouz-Rahimi, Shekoufeh AU - Yassipour-Tehrani, Sobhan AU - Sharbaf, Mohammadreza TI - A survey of model transformation design patterns in practice JF - JOURNAL OF SYSTEMS AND SOFTWARE J2 - J SYST SOFTWARE VL - 140 PY - 2018 SP - 48 EP - 73 PG - 26 SN - 0164-1212 DO - 10.1016/j.jss.2018.03.001 UR - https://m2.mtmt.hu/api/publication/27470687 ID - 27470687 LA - English DB - MTMT ER - TY - JOUR AU - Martínez, Salvador AU - Sébastien, Gérard AU - Jordi, Cabot TI - On Watermarking for Collaborative Model-Driven Engineering JF - IEEE ACCESS J2 - IEEE ACCESS VL - 6 PY - 2018 SP - 29715 EP - 29728 PG - 14 SN - 2169-3536 DO - 10.1109/ACCESS.2018.2841020 UR - https://m2.mtmt.hu/api/publication/27463092 ID - 27463092 LA - English DB - MTMT ER - TY - CHAP AU - Bergmann, Gábor AU - Debreceni, Csaba AU - Ráth, István AU - Varr, Dániel TI - Towards efficient evaluation of rule-based permissions for fine-grained access control in collaborative modeling VL - 2019 T3 - CEUR Workshop Proceedings, ISSN 1613-0073 ; 2019. PY - 2017 SP - 135 EP - 144 PG - 10 UR - https://m2.mtmt.hu/api/publication/33141421 ID - 33141421 AB - In case of collaborative modeling, complex systems are developed by different stakeholders, in offline submissions or online sessions. To guarantee security, access control policies need to be enforced during the collaboration. As levels of required confidentiality and integrity may vary across model parts, we have previously proposed fine-grained rule-based access control, and shown how to consistently interpret flexible access control policies. Now we present an improvement on the previous results allowing for incremental recomputation, which is vital for online collaboration scenarios. Our approach is illustrated using a case study of the MONDO EU project. LA - English DB - MTMT ER - TY - JOUR AU - Charaf, Hassan AU - Harsányi, Gábor AU - Poppe, András AU - Imre, Sándor AU - Kiss, Bálint AU - Dabóczi, Tamás AU - Katona, Gyula Y. AU - Nagy, Lajos AU - Magyar, Gábor AU - Kiss, István TI - BME VIK annual research report on electrical engineering and computer science 2016 JF - PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING AND COMPUTER SCIENCE J2 - PERIOD POLYTECH ELECTR ENG COMP SCI VL - 61 PY - 2017 IS - 2 SP - 83 EP - 115 PG - 33 SN - 2064-5260 DO - 10.3311/PPee.11067 UR - https://m2.mtmt.hu/api/publication/30380195 ID - 30380195 LA - English DB - MTMT ER - TY - CHAP AU - Debreceni, Csaba AU - Bergmann, Gábor AU - Ráth, István Zoltán AU - Varró, Dániel TI - Property-based Locking in Collaborative Modeling T2 - 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017) PB - IEEE Computer Society CY - Los Alamitos (CA) SN - 9781538634936 PY - 2017 SP - 199 EP - 209 PG - 11 DO - 10.1109/MODELS.2017.33 UR - https://m2.mtmt.hu/api/publication/3330401 ID - 3330401 LA - English DB - MTMT ER - TY - CHAP AU - Debreceni, Csaba AU - Bergmann, Gábor AU - Búr, Márton AU - Ráth, István Zoltán AU - Varró, Dániel ED - Bodden, E ED - Schafer, W ED - VanDeursen, A ED - Zisman, A TI - The MONDO Collaboration Framework: Secure Collaborative Modeling over Existing Version Control Systems T2 - ESEC/FSE 2017: PROCEEDINGS OF THE 2017 11TH JOINT MEETING ON FOUNDATIONS OF SOFTWARE ENGINEERING PB - Association for Computing Machinery (ACM) CY - New York, New York SN - 9781450351058 PY - 2017 SP - 984 EP - 988 PG - 5 DO - 10.1145/3106237.3122829 UR - https://m2.mtmt.hu/api/publication/3350095 ID - 3350095 LA - English DB - MTMT ER - TY - CHAP AU - Debreceni, Csaba TI - Advanced techniques and tools for secure collaborative modeling VL - 2019 T3 - CEUR Workshop Proceedings, ISSN 1613-0073 ; 2019. PY - 2017 SP - 549 EP - 554 PG - 6 UR - https://m2.mtmt.hu/api/publication/33141419 ID - 33141419 AB - Model-based systems engineering of critical cyber-physical systems necessitates effective collaboration between different collaborators, teams, stakeholders. Engineering artifacts stored in model repositories are concurrently developed in either offline (checkout-modify-commit) or online (GoogleDoc-style) scenario where the confidentiality and integrity of design artifacts need to be protected by access control policies. Unfortunately, traditional approaches for managing concurrent code development do not naturally extend to collaborative modeling which implies novel challenges. My research focuses on developing (i) a general secure collaboration scheme that guarantees that high-level access control policies are respected during collaboration and it can be integrated into existing version control systems (e.g. SVN) to support offline scenario; (ii) automated merging and fine-grained locking to enhance the efficiency of conflict resolution and prevention upon concurrent modification of the models; (iii) derivation and incremental maintenance of view models to provide specific focus of the designers by abstracting from unnecessary details of the underlying system model. LA - English DB - MTMT ER - TY - CHAP AU - Di Ruscio, Davide AU - Franzago, Mirco AU - Muccini, Henry AU - Malavolta, Ivano TI - Envisioning the future of collaborative model-driven software engineering T2 - Proceedings of the 39th International Conference on Software Engineering Companion PB - IEEE Press CY - Piscataway (NJ) SN - 9781538615898 PB - IEEE Press PY - 2017 SP - 219 EP - 221 PG - 3 DO - 10.1109/ICSE-C.2017.143 UR - https://m2.mtmt.hu/api/publication/26697376 ID - 26697376 N1 - ISSN:2574-1926 LA - English DB - MTMT ER - TY - CHAP AU - Gómez, A AU - Mendialdua, X AU - Bergmann, Gábor AU - Cabot, J AU - Debreceni, Csaba AU - Garmendia, A AU - Kolovos, DS AU - de Lara, J AU - Trujillo, S TI - On the opportunities of scalable modeling technologies: An experience report on wind turbines control applications development T2 - Modelling Foundations and Applications PB - Springer Netherlands CY - Cham SN - 9783319614823 T3 - Lecture Notes in Computer Science, ISSN 0302-9743 ; 10376. PY - 2017 SP - 300 EP - 315 PG - 16 DO - 10.1007/978-3-319-61482-3_18 UR - https://m2.mtmt.hu/api/publication/3277952 ID - 3277952 LA - English DB - MTMT ER - TY - CHAP AU - Vaquero-Melchor, Diego AU - Palomares, Javier AU - Guerra, Esther AU - de Lara, Juan TI - Active Domain-Specific Languages: making every mobile user a modeller T2 - 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS) PB - IEEE Computer Society SN - 1538634929 PB - IEEE Computer Society PY - 2017 SP - 75 EP - 82 PG - 8 DO - 10.1109/MODELS.2017.13 UR - https://m2.mtmt.hu/api/publication/27167613 ID - 27167613 LA - English DB - MTMT ER - TY - CONF AU - Debreceni, Csaba AU - Bergmann, Gábor AU - Ráth, István Zoltán AU - Varró, Dániel ED - Henry, Muccini ED - Ivano, Malavolta ED - Sebastien, Gerard ED - Dimitris, S Kolovos TI - Deriving Effective Permissions for Modeling Artifacts from Fine-grained Access Control Rules T2 - Proceedings of the 1st International Workshop on Collaborative Modelling in MDE (COMMitMDE 2016) PB - CEUR Workshop Proceedings C1 - Aachen T3 - CEUR Workshop Proceedings, ISSN 1613-0073 ; 1717. PY - 2016 SP - 17 EP - 26 PG - 10 UR - https://m2.mtmt.hu/api/publication/3161893 ID - 3161893 AB - In case of collaborative modeling, complex systems are developed by different stakeholders. To guarantee security, access control policies need to be enforced during the collaboration. Levels of required confidentiality and integrity may vary across modeling artifacts, and even features of a single model element. Fine-grained rule-based access control was proposed to meet the needs of exible and concise access control. Rulebased policies are inherently subject to conicts between the rules; these conicts should be interpreted in a consistent but also predictable way that caters to the preferences of the policy engineer. We propose a deterministic, parameterizable resolution strategy between conicting rules to calculate effective access permissions for each fact in the model. Our approach is illustrated using a case study of the MONDO EU project. LA - English DB - MTMT ER -