Managing uncertainty in bidirectional model transformations

R Eramo, A Pierantonio, G Rosa - Proceedings of the 2015 ACM …, 2015 - dl.acm.org
In Model-Driven Engineering bidirectionality in transformations is regarded as a key
mechanism. Recent approaches to non-deterministic transformations have been proposed …

Moves: A model-driven methodology for vehicular embedded systems

A Bucaioni, L Addazi, A Cicchetti, F Ciccozzi… - IEEE …, 2018 - ieeexplore.ieee.org
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 …

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 …

[PDF][PDF] Incorporating Uncertainty into Bidirectional Model Transformations and their Delta-Lens Formalization.

Z Diskin, R Eramo, A Pierantonio, K Czarnecki - Bx@ ETAPS, 2016 - ceur-ws.org
Abstract In Model-Driven Engineering, bidirectional transformations are key to managing
consistency and synchronization of related models. Deltalenses are a flexible algebraic …

Enhancing the JTL tool for bidirectional transformations

R Eramo, A Pierantonio, M Tucci - … of the 2nd International Conference on …, 2018 - dl.acm.org
In Model-Driven Engineering, the potential advantages of using bidirectional transformations
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 …

Towards attribute-based authorisation for bidirectional programming

L Montrieux, Z Hu - Proceedings of the 20th ACM Symposium on Access …, 2015 - dl.acm.org
Bidirectional programming allows developers to write programs that will produce
transformations that extract data from a source document into a view. The same …

Supporting selective undo for refactoring

X Cheng, Y Chen, Z Hu, T Zan, M Liu… - 2016 IEEE 23rd …, 2016 - ieeexplore.ieee.org
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 …

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 …

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 …