Filters








7,076 Hits in 4.1 sec

Design Space of Heterogeneous Synchronization [chapter]

Michał Antkiewicz, Krzysztof Czarnecki
2008 Lecture Notes in Computer Science  
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]

Holger Giese, Robert Wagner
2006 Lecture Notes in Computer Science  
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

Georg Hinkel
2019 International Conference on Software Technologies: Applications and Foundations  
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

Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi
2011 Journal of Software and Systems Modeling  
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

Georg Hinkel
2019 International Conference on Software Technologies: Applications and Foundations  
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

Frédéric Jouault, Olivier Beaudoux
2015 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
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

Soichiro Hidaka, Massimo Tisi, Jordi Cabot, Zhenjiang Hu
2015 Journal of Software and Systems Modeling  
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

Marat Abilov, Jorge Marx Gómez
2014 Procedia Technology - Elsevier  
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]

Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi
2009 Lecture Notes in Computer Science  
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

Hafiz Gulfam Ahmad, Ghazi University, Dera Ghazi Khan, Pakistan, Iqra Tahir, Naveed Naeem Abbas, National University of Science & Technology, Islamabad, Pakistan, The Islamia University of Bahawalpur, Bahawalpur, Pakistan
2021 Azerbaijan Journal of High Performance Computing  
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

Jasmin Blanchette, Francis Bordeleau, Alfonso Pierantonio, Nikolai Kosmatov, Gabriele Taentzer, Manuel Wimmer
2018 Journal of Software and Systems Modeling  
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

Miguel Garcia
2008 Workshop on Domain-Specific Modeling Languages  
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

Van Cam Pham, Ansgar Radermacher, Sébastien Gérard
2018 Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development  
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]

Artur Boronat
2019 Lecture Notes in Computer Science  
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

Thomas Buchmann, Bernhard Westfechtel
2013 2013 39th Euromicro Conference on Software Engineering and Advanced Applications  
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