TY - JOUR AU - Wen, Hao AU - Wu, Jinzhao AU - Jiang, Jianmin AU - Tang, Guofu AU - Hong, Zhong TI - A Formal Approach for Consistency Management in UML Models JF - INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING J2 - INT J SOFTW ENG KNOW PY - 2023 PG - 31 SN - 0218-1940 DO - 10.1142/S0218194023500134 UR - https://m2.mtmt.hu/api/publication/33866587 ID - 33866587 AB - Consistency is a significant indicator to measure the correctness of a software system in its lifecycle. It is inevitable to introduce inconsistencies between different software artifacts in the software development process. In practice, developers perform consistency checking to detect inconsistencies, and apply their corresponding repairs to restore consistencies. Even if all inconsistencies can be repaired, how to preserve consistencies in the subsequent evolution should be considered. Consistency management (consistency checking and consistency preservation) is a challenging task, especially in the multi-view model-driven software development process. Although there are some efforts to discuss consistency management, most of them lack the support of formal methods. Our work aims to provide a framework for formal consistency management, which may be used in the practical software development process. A formal model, called a Structure model, is first presented for specifying the overall model-based structure of the software system. Next, the definition of consistency is given based on consistency rules. We then investigate consistency preservation under the following two situations. One is that if the initial system is inconsistent, then the consistency can be restored through repairs. The other is that if the initial system is consistent, then the consistency can be maintained through update propagation. To demonstrate the effectiveness of our approach, we finally present a case study with a prototype tool. LA - English DB - MTMT ER - TY - JOUR AU - Wittler, Jan Willem AU - Saglam, Timur AU - Kuehn, Thomas TI - Evaluating Model Differencing for the Consistency Preservation of State-based Views 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.a4 UR - https://m2.mtmt.hu/api/publication/34313480 ID - 34313480 AB - While developers and users of modern software systems usually only need to interact with a specific part of the system at a time, they are hindered by the ever-increasing complexity of the entire system. Views are projections of underlying models and can be employed to abstract from that complexity. When a view is modified, the changes must be propagated back into the underlying model without overriding simultaneous modifications. Hence, the view needs to provide a fine-grained sequence of changes to update the model minimally invasively. Such fine-grained changes are often unavailable for views that integrate with existing workflows and tools. To this end, model differencing approaches can be leveraged to compare two states of a view and derive an estimated change sequence. However, these model differencing approaches are not intended to operate with views, as their correctness is judged solely by comparing the input models. For views, the changes are derived from the view states, but the correctness depends on the underlying model. This work introduces a refined notion of correctness for change sequences in the context of model-view consistency. Furthermore, we evaluate state-of-the-art model differencing regarding model-view consistency. Our results show that model differencing largely performs very well. However, incorrect change sequences were derived for two common refactoring operation types, leading to an incorrect model state. These types can be easily reproduced and are likely to occur in practice. By considering our change sequence properties in the view type design, incorrect change sequences can be detected and semi-automatically repaired to prevent such incorrect model states. LA - English DB - MTMT ER - TY - JOUR AU - He, Xiao AU - Hu, Zhenjiang AU - Meng, Na TI - A theoretic framework of bidirectional transformation between systems and models JF - SCIENCE CHINA INFORMATION SCIENCES J2 - SCI CHINA INFORM SCI VL - 65 PY - 2022 IS - 10 PG - 24 SN - 1674-733X DO - 10.1007/s11432-020-3276-5 UR - https://m2.mtmt.hu/api/publication/33325079 ID - 33325079 AB - Synchronization between systems and models has been explored in model-driven engineering to enable model-based system management. Despite its promising use, there is a lack of a theoretic foundation for state-based system-model synchronization. This paper proposes a theory for state-based system-model bidirectional transformation (BX), and defines seven combinators for system-model BX to facilitate the development of well-behaved synchronizer programs. A system-model BX is a single program that converts a system with a model consistently. Forwards, it creates a model according to a system as a conventional BX. Backwards, it generates a set of system edits, which can turn the current system into a new state that is consistent with the given model. System-model BX is fully aware of the domain constraints about how to change a system, and plans a reasonable execution order for those edits, rather than applying them blindly. The paper also demonstrates the use of system-model BX by building a generic system-model synchronizer and a concrete file system synchronizer. LA - English DB - MTMT ER - TY - JOUR AU - Klare, Heiko AU - Kramer, Max E. AU - Langhammer, Michael AU - Werle, Dominik AU - Burger, Erik AU - Reussner, Ralf TI - Enabling consistency in view-based system development — The Vitruvius approach JF - JOURNAL OF SYSTEMS AND SOFTWARE J2 - J SYST SOFTWARE VL - 171 PY - 2021 SN - 0164-1212 DO - 10.1016/j.jss.2020.110815 UR - https://m2.mtmt.hu/api/publication/32028583 ID - 32028583 N1 - Cited By :13 Export Date: 25 February 2023 CODEN: JSSOD Correspondence Address: Klare, H.; Institute for Program Structures and Data Organization, Am Fasanengarten 5, Germany; email: klare@kit.edu LA - English DB - MTMT ER - TY - JOUR AU - Bruneliere, Hugo AU - de Kerchove, Florent Marchand AU - Daniel, Gwendal AU - Madani, Sina AU - Kolovos, Dimitris AU - Cabot, Jordi TI - Scalable model views over heterogeneous modeling technologies and resources JF - SOFTWARE AND SYSTEMS MODELING J2 - SOFTW SYST MODEL VL - 19 PY - 2020 IS - 4 SP - 827 EP - 851 PG - 25 SN - 1619-1366 DO - 10.1007/s10270-020-00794-6 UR - https://m2.mtmt.hu/api/publication/31449121 ID - 31449121 AB - When engineering complex systems, models are typically used to represent various systems aspects. These models are often heterogeneous in terms of modeling languages, provenance, number or scale. As a result, the information actually relevant to engineers is usually split into different kinds of interrelated models. To be useful in practice, these models need to be properly integrated to provide global views over the system. This has to be made possible even when those models are serialized or stored in different formats adapted to their respective nature and scalability needs. Model view approaches have been proposed to tackle this issue. They provide unification mechanisms to combine and query various different models in a transparent way. These views usually target specific engineering tasks such as system design, monitoring and evolution. In an industrial context, there can be many large-scale use cases where model views can be beneficial, in order to trace runtime and design-time data, for example. However, existing model view solutions are generally designed to work on top of one single modeling technology (even though model import/export capabilities are sometimes provided). Moreover, they mostly rely on in-memory constructs and low-level modeling APIs that have not been designed to scale in the context of large models stored in different kinds of data sources. This paper presents a general solution to efficiently support scalable model views over heterogeneous modeling resources possibly handled via different modeling technologies. To this intent, it describes our integration approach between a model view framework and various modeling technologies providing access to multiple types of modeling resources (e.g., in XML/XMI, CSV, databases). It also presents how queries on such model views can be executed efficiently by benefiting from the optimization of the different model technologies and underlying persistence backends. Our solution has been evaluated on a practical large-scale use case provided by the industry-driven European MegaM@Rt2 project that aims at implementing a runtime. design time feedback loop. The corresponding EMF-based tooling support, modeling artifacts and reproducible benchmarks are all available online. LA - English DB - MTMT ER - TY - JOUR AU - Kretschmer, Roland AU - Khelladi, Djamel Eddine AU - Lopez-Herrejon, Roberto Erick AU - Egyed, Alexander TI - Consistent change propagation within models JF - SOFTWARE AND SYSTEMS MODELING J2 - SOFTW SYST MODEL PY - 2020 PG - 17 SN - 1619-1366 DO - 10.1007/s10270-020-00823-4 UR - https://m2.mtmt.hu/api/publication/31703798 ID - 31703798 AB - Developers change models with clear intentions-e.g., for refactoring, defects removal, or evolution. However, in doing so, developers are often unaware of the consequences of their changes. Changes to one part of a model may affect other parts of the same model and/or even other models, possibly created and maintained by other developers. The consequences are incomplete changes and with it inconsistencies within or across models. Extensive works exist on detecting and repairing inconsistencies. However, the literature tends to focus on inconsistencies as errors in need of repairs rather than on incomplete changes in need of further propagation. Many changes are non-trivial and require a series of coordinated model changes. As developers start changing the model, intermittent inconsistencies arise with other parts of the model that developers have not yet changed. These inconsistencies are cues for incomplete change propagation. Resolving these inconsistencies should be done in a manner that is consistent with the original changes. We speak of consistent change propagation. This paper leverages classical inconsistency repair mechanisms to explore the vast search space of change propagation. Our approach not only suggests changes to repair a given inconsistency but also changes to repair inconsistencies caused by the aforementioned repair. In doing so, our approach follows the developer's intent where subsequent changes may not contradict or backtrack earlier changes. We argue that consistent change propagation is essential for effective model-driven engineering. Our approach and its tool implementation were empirically assessed on 18 case studies from industry, academia, and GitHub to demonstrate its feasibility and scalability. A comparison with two versioned models shows that our approach identifies actual repair sequences that developers had chosen. Furthermore, an experiment involving 22 participants shows that our change propagation approach meets the workflow of how developers handle changes by always computing the sequence of repairs resulting from the change propagation. 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 - Bruneliere, Hugo AU - Burger, Erik AU - Cabot, Jordi AU - Wimmer, Manuel TI - A feature-based survey of model view approaches JF - SOFTWARE AND SYSTEMS MODELING J2 - SOFTW SYST MODEL VL - 2018 PY - 2018 SP - 1 EP - 22 PG - 22 SN - 1619-1366 DO - 10.1007/s10270-017-0622-9 UR - https://m2.mtmt.hu/api/publication/27163170 ID - 27163170 LA - English DB - MTMT ER - TY - THES AU - Bruneliere, Hugo TI - Generic Model-based Approaches for Software Reverse Engineering and Comprehension PY - 2018 UR - https://m2.mtmt.hu/api/publication/30748555 ID - 30748555 LA - French DB - MTMT ER - TY - CHAP AU - He, Xiao AU - Hu, Zhenjiang TI - Putback-based bidirectional model transformations T2 - Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering PB - Association for Computing Machinery (ACM) SN - 1450355730 PY - 2018 SP - 434 EP - 444 PG - 11 UR - https://m2.mtmt.hu/api/publication/30413282 ID - 30413282 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 - CHAP AU - Tikhonova, Ulyana AU - Stoel, Jouke AU - Van, Der Storm Tijs AU - Degueule, Thomas TI - Constraint-based run-time state migration for live modeling T2 - Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering PB - Association for Computing Machinery (ACM) SN - 1450360297 PY - 2018 SP - 108 EP - 120 PG - 13 UR - https://m2.mtmt.hu/api/publication/30413284 ID - 30413284 LA - English DB - MTMT ER - TY - CONF AU - Tucci, Michele TI - Model-driven round-trip software dependability engineering T2 - Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings PY - 2018 SP - 186 EP - 191 PG - 6 DO - 10.1145/3270112.3275337 UR - https://m2.mtmt.hu/api/publication/31160636 ID - 31160636 LA - English DB - MTMT ER - TY - GEN AU - Debreceni, Csaba TI - Advanced Techniques and Tools in Secure Collaborative Modeling PY - 2017 UR - https://m2.mtmt.hu/api/publication/27470709 ID - 27470709 N1 - idéző Cím: Advanced Techniques and Tools in Secure Collaborative Modeling idéző Megjelenés éve: 2017 LA - English DB - MTMT ER - TY - GEN AU - Di Rocco, Juri AU - Di Ruscio, Davide AU - Heinz, Marcel AU - Iovino, Ludovico AU - Lämmel, Ralf AU - Pierantonio, Alfonso TI - Consistency Recovery in Interactive Modeling PY - 2017 PG - 6 UR - https://m2.mtmt.hu/api/publication/27167690 ID - 27167690 N1 - Besorolás Név: JOUR idéző Cím: Consistency Recovery in Interactive Modeling Jelleg Műfaj: JOUR LA - English DB - MTMT ER - TY - CONF AU - Semeráth, Oszkár ED - Jeff, Gray ED - Ruth, Breu TI - Formal Validation and Model Synthesis for Domain-specific Languages by Logic Solvers T2 - ACM Student Research Competition at MODELS 2016 PB - CEUR Workshop Proceedings T3 - CEUR Workshop Proceedings, ISSN 1613-0073 ; 1775. PY - 2016 PG - 7 UR - https://m2.mtmt.hu/api/publication/3169934 ID - 3169934 LA - English DB - MTMT ER -