Managing uncertainty in bidirectional model transformations
In Model-Driven Engineering bidirectionality in transformations is regarded as a key
mechanism. Recent approaches to non-deterministic transformations have been proposed …
mechanism. Recent approaches to non-deterministic transformations have been proposed …
Moves: A model-driven methodology for vehicular embedded systems
This paper introduces a novel model-driven methodology for the software development of
real-time distributed vehicular embedded systems on single-and multi-core platforms. The …
real-time distributed vehicular embedded systems on single-and multi-core platforms. The …
Putback-based bidirectional model transformations
X He, Z Hu - Proceedings of the 2018 26th ACM Joint Meeting on …, 2018 - dl.acm.org
Bidirectional model transformation (BX) plays a vital role in Model-Driven Engineering. A
major challenge in conventional relational and bidirectionalization-based BX approaches is …
major challenge in conventional relational and bidirectionalization-based BX approaches is …
[PDF][PDF] Incorporating Uncertainty into Bidirectional Model Transformations and their Delta-Lens Formalization.
Abstract In Model-Driven Engineering, bidirectional transformations are key to managing
consistency and synchronization of related models. Deltalenses are a flexible algebraic …
consistency and synchronization of related models. Deltalenses are a flexible algebraic …
Enhancing the JTL tool for bidirectional transformations
In Model-Driven Engineering, the potential advantages of using bidirectional transformations
in various scenarios are largely recognized; as for instance, assuring the overall consistency …
in various scenarios are largely recognized; as for instance, assuring the overall consistency …
Resilient architectures through dynamic management of software components
AD Hristozov - 2023 - search.proquest.com
The architecture of software-intensive systems is determined by their functionality and the
environment they operate in. For Cyber-Physical Systems (CPS), the environment can vary …
environment they operate in. For Cyber-Physical Systems (CPS), the environment can vary …
Towards attribute-based authorisation for bidirectional programming
Bidirectional programming allows developers to write programs that will produce
transformations that extract data from a source document into a view. The same …
transformations that extract data from a source document into a view. The same …
Supporting selective undo for refactoring
Due to various considerations, programmers often need to backtrack their code.
Furthermore, as the most recent edit may not be the wrong edit, programmers sometimes …
Furthermore, as the most recent edit may not be the wrong edit, programmers sometimes …
Ensuring Inter-Model Consistency
J Meier - 2024 - oops.uni-oldenburg.de
Increasing size, complexity and heterogeneity of software-intensive systems make it nearly
impossible that single persons develop a whole system. Therefore, different stakeholders …
impossible that single persons develop a whole system. Therefore, different stakeholders …
A Model-driven Development Approach with Temporal Awareness for Vehicular Embedded Systems
A Bucaioni - 2017 - diva-portal.org
Considering the ubiquitousness of software in modern vehicles, its increased value and
development cost, an efficient software development became of paramount importance for …
development cost, an efficient software development became of paramount importance for …