Springer today announced the publication of the paper entitled "Change propagation and bidirectionality in internal transformation DSLs " of FZI member Georg Hinkel and SDQ member Erik Burger in the Software & Systems Modeling journal. The paper is about a new formalism for model transformation that can be implemented in Internal DSLs and is capable of bidirectional and incremental model transformations. The paper contains proofs that inconsistencies with regard to the model transformation can be repaired in all cases in a hippocratic manner. The results suggest that this inconsistency repair operator is fully incremental.
The Paper is accessible under the following link: rdcu.be/u9PT