[PDF][PDF] Conflict-based Change Awareness for Collaborative Model-driven Software Engineering

… on providing an approach for conflict-based change awareness to prevent conflicts before
merges occur. The process of merging and conflict resolution is beyond the scope of this work. …

Consistency control for model versions in evolving model-driven software product lines

J Schröpfer, F Schwägerl… - … on Model Driven …, 2019 - ieeexplore.ieee.org
… must be performed before the product is shown in the workspace does not allow for an
interactive conflict resolution but a default mechanism is applied. In order to provide influence by …

A model-driven approach to enable the simulation of complex systems on distributed architectures

P Bocciarelli, A D'Ambrogio, A Falcone, A Garro… - …, 2019 - journals.sagepub.com
… other models, until stepwise refined models can be made … model-driven architecture (MDA).
In this paper, MDA is exploited to design and develop the MONADS method (MOdel-driveN

A Formal Model of Security Controls' Capabilities and Its Applications to Policy Refinement and Incident Management

C Basile, G Gatti, F Settanni - arXiv preprint arXiv:2405.03544, 2024 - arxiv.org
… a modeldriven approach for translating abstract policies into devicespecific configuration
settings. By validating its effectiveness in real-world scenarios, we show that SCM enables the …

Grand challenges in model-driven engineering: an analysis of the state of the research

A Bucchiarone, J Cabot, RF Paige… - Software and Systems …, 2020 - Springer
… the issues and problematic areas of the current state of the art in model-driven engineering.
… 1 illustrates such categories that, in turn, have been further refined to better characterize the …

Integrated revision and variation control for evolving model-driven software product lines

F Schwägerl, B Westfechtel - Software and Systems Modeling, 2019 - Springer
… This article addresses the integration of three disciplines: Model-driven software engineering
(MDSE) [63] fosters the use of models as high-level abstractions for developing software …

Alliance of model-driven engineering with a proof-based formal approach

A Idani, Y Ledru, G Vega - Innovations in Systems and Software …, 2020 - Springer
Model-driven engineering (MDE) promotes the use of models throughout the software …
Besides the use of these automatic reasoning tools in MDE, proved B refinements are also …

Model-driven Security Engineering for FPGAs

M Vetter - 2022 - otik.uk.zcu.cz
… well as the formal definition of an enforceable security policy. The formal description of the
FPGA architecture and the security policy promotes a precise definition of the assets and their …

Integrated model-driven development of self-adaptive user interfaces

E Yigitbas, I Jovanovikj, K Biermeier, S Sauer… - Software and Systems …, 2020 - Springer
… In this paper, we present an integrated model-driven development approach where a classical
model-driven development of UIs is coupled with a model-driven development of context-…

Transaction Conflict Control in Hyperledger Fabric: a Taxonomy, Gaps, and Design for Conflict Prevention

M Debreczeni, A Klenik, I Kocsis - IEEE Access, 2024 - ieeexplore.ieee.org
… Design-time conflict prevention is one such gap, and we propose the application of a
model-driven … Section IV describes the common model refinement methodology of model-driven