A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
Filters
Design Space of Heterogeneous Synchronization
[chapter]
2008
Lecture Notes in Computer Science
Preserved Fulltext
Finally, we discuss related fields including data synchronization, inconsistency management in software engineering, model management, and model transformation. ...
We classify heterogeneous synchronizers according to the cardinality of the relation that they enforce between artifacts, their directionality, their incrementality, and whether they support reconciliation ...
The authors would like to thank Zinovy Diskin, Lech Tuzinkiewicz, and the anonymous reviewers for their valuable comments on earlier drafts of this tutorial. ...
doi:10.1007/978-3-540-88643-3_1
fatcat:rejtpemw2vefpjndxjiq7nifq4
Incremental Model Synchronization with Triple Graph Grammars
[chapter]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
to as model synchronization. ...
In this paper, we present our approach for an incremental model transformation which supports model synchronization. ...
For the addressed incremental model synchronization, we require a bijective, bidirectional, incremental model transformation. ...
doi:10.1007/11880240_38
fatcat:b4xqci7iibdwrjgx3jeegvckzm
An NMF Solution to the TTC 2019 Truth Tables to Binary Decision Diagrams Case
2019
International Conference on Software Technologies: Applications and Foundations
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Synchronization Blocks and NMF Synchronizations Synchronization blocks are a formal tool to run model transformations in an incremental (and bidirectional) way [2] . ...
Apart from that, the model transformation can be inverted automatically. Hence, bidirectional execution is a low hanging fruit for this model transformation. ...
dblp:conf/staf/Hinkel19
fatcat:sehtww2exrdlnf7iqpisbg2zhu
Synchronizing concurrent model updates based on bidirectional transformation
2011
Journal of Software and Systems Modeling
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We then propose a new algorithm to wrap any bidirectional transformation into a synchronizer with the help of model difference approaches. ...
We show that Communicated by synchronizers produced by our algorithm are ensured to satisfy the three properties if the bidirectional transformation satisfies the correctness property and the hippocraticness ...
Instead of transforming models, incremental bidirectional transformation transforms an update on one model to an update on the other model. ...
doi:10.1007/s10270-010-0187-3
fatcat:u37d2oekyzfpxceejzxnzqolxy
An NMF Solution to the TTC 2019 Live Case
2019
International Conference on Software Technologies: Applications and Foundations
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
R ), the synchronization block specifies that the elements (f (a, ω L ), g (b, ω R )) ∈ B × D gained by the lenses f and g are isomorphic with regard to Φ B−D . ...
This DSL is able to lift the specification of a model transformation/synchronization in three quite orthogonal dimensions: • Direction: A client may choose between transformation from left to right, right ...
For the isomorphism from a BibTex file to a DocBook, we need to override the creation of target models. ...
dblp:conf/staf/Hinkel19a
fatcat:2so5v7uycbfnbf4cefsxwsugmy
On the Use of Active Operations for Incremental Bidirectional Evaluation of OCL
2015
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Many relations between model elements are expressed in OCL. However, tool support to enable synchronization of elements based on OCL-expressed relations is lacking. ...
In this paper, we propose to use active operations in order to achieve incremental execution of some OCL expressions. Moreover, bidirectionality can also be achieved in non-trivial cases. ...
However, it does support EMF models, and a significant-enough subset of active operations that enables writing bidirectional incremental transformations. ...
dblp:conf/models/JouaultB15
fatcat:v3v4fsxarffhzmx22lq26s6tni
Feature-based classification of bidirectional transformation approaches
2015
Journal of Software and Systems Modeling
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
in computer science, from the view-update problem in databases to bidirectional graph transformations. ...
This paper tries to clarify and visualize the space of design choices for bidirectional transformations from an MDE point of view, in the form of a feature model. ...
For a concrete example, suppose we want to synchronize a UML model s with Java code t using transformation f from UML model to Java code. ...
doi:10.1007/s10270-014-0450-0
fatcat:uyjv3l3otbhcfktfvwjrl2o7da
Incremental Synchronization of Organizational Models, Requirements Models and Object-oriented Software Design Models
2014
Procedia Technology - Elsevier
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Existing model-driven software design derivation approaches usually lack support of bidirectional incremental synchronization between source and target models. ...
to comprehend and reuse. ...
Partial incremental bidirectional model synchronization of changes between these models will give an opportunity to work separately on each of the models without the problem of outdated information in ...
doi:10.1016/j.protcy.2014.10.014
fatcat:lo2pwzuhvngflfhihn3e6mzmbm
Supporting Parallel Updates with Bidirectional Model Transformations
[chapter]
2009
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this paper we propose a new algorithm that wraps any bidirectional transformation into a synchronizer with the help of a model difference approach. ...
Model-driven software development often involves several related models. When models are updated, the updates need to be propagated across all models to make them consistent. ...
We plan to design a resolution procedure based on a specific transformation language and a specific model difference approach. ...
doi:10.1007/978-3-642-02408-5_15
fatcat:pbdfravi65gb7icx53yayp47fu
IMPLEMENTATION OF NOVEL APPROACHES IN BIDIRECTIONAL MODEL TRANSFORMATION: A SYSTEMATIC LITERATURE REVIEW
2021
Azerbaijan Journal of High Performance Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
The methodology for this survey shall be made through SLR to identify around 20 different approaches proposed for bidirectional model transformation; these studies range from the year 2010 till date and ...
researchers, have been able to produce many approaches in bidirectional model transformations (bx), but the cost and best fir for effective model transformation, in particular, a quantities survey will ...
Using this declarative specification formalism, we focus on the efficient execution of the transformation rules and how to achieve an incremental model transformation for synchronization purposes. ...
doi:10.32010/26166127.2021.4.1.91.112
fatcat:2mflbvhmffd7jeb4cs2vafwqpy
Introduction to the STAF 2015 special section
2018
Journal of Software and Systems Modeling
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
To tackle this shortcoming, Hinkel and Burger introduce a novel formalism describing incremental, bidirectional model synchronizations using synchronization blocks. ...
Experiments show an average reduction of 60% in transformation execution time compared to non-incremental (batch) transformations. ...
doi:10.1007/s10270-018-0686-1
fatcat:ilcphfxxyng5dcsksvan6vsiyu
Bidirectional Synchronization of Multiple Views of Software Models
2008
Workshop on Domain-Specific Modeling Languages
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
To improve this state of affairs, a declarative approach is elaborated to automate multiview synchronization, building upon existing metamodeling techniques and recent advances in the field of function ...
A significant benefit of the approach is the resulting comprehensive solution to a recurrent problem in the software modeling field. ...
For our purposes, this capability is not necessary as our architecture revolves around a single integrated model (i.e., to synchronize N different view types N bidirectional transformations are defined ...
dblp:conf/dsml/Garcia08
fatcat:27twbbezujbilkbpih4ly7347y
A New Approach for Reflection of Code Modifications to Model in Synchronization of Architecture Design Model and Code
2018
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
It is possible to create an executable system from a model enriched with detailed behavior specifications. ...
The synchronization of additional modeling aspects from the code, notably component based modeling in UML and behavior in form of state-machines, is not supported by the state-of-the-art. ...
Synchronization requires to reflect modifications in code back to model. ...
doi:10.5220/0006610904960503
dblp:conf/modelsward/PhamRG18
fatcat:sedx5n47jrbivbtln6rxuavtje
Offline Delta-Driven Model Transformation with Dependency Injection
[chapter]
2019
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
State-of-the-art model transformation engines with support for incrementality normally rely on a publish-subscribe model for linking model updates − deltas − to the application of model transformation ...
When model transformations are used to implement consistency relations between very large models (VLMs), incrementality plays a cornerstone role in the realization of practical consistency maintainers. ...
of the VIATRA CPS benchmark; Sect. 5 discusses related work from reactive and bidirectional model transformation. ...
doi:10.1007/978-3-030-16722-6_8
fatcat:l2ux7f2kovbcfefzgci7yz3nsa
Towards Incremental Round-Trip Engineering Using Model Transformations
2013
2013 39th Euromicro Conference on Software Engineering and Advanced Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
At present, the technology for defining and executing uni-directional batch transformations seems to be well developed, while bi-directional and incremental transformations are more difficult to handle ...
Model-driven software engineering is supported with the help of model transformations. ...
In order to instruct the subsequent M2T transformation, annotations are added to the Java model for preserving information which would otherwise be lost in the transformation from the UML model to the ...
doi:10.1109/seaa.2013.19
dblp:conf/euromicro/BuchmannW13
fatcat:qxoi2tlgpbeorlh77yxncgncum
« Previous
Showing results 1 — 15 out of 7,076 results