NMF Synchronizations

Based on NTL and NMF Expressions, NMF also contains a language to synchronize models of heterogeneous metamodels, named NMF Synchronizations. Like NTL, it is also implemented as an internal DSL so that developers can familiarize quickly. This synchronization language is able to support 18 different operation modes out of a single specification: One may choose between three different change propagation modes (none, one-way and two-way) and six different directions (left-to-right and right-to-left in three different variants each).

Similar to NTL, a synchronization rule in NMF Synchronizations is represented by a class, inferring the synchronization rules by the public nested classes. The synchronization rules each define an isomorphism between the classes they are to synchronize, referred to as left-hand-side (LHS) and right-hand-side (RHS) class. These classes are passed as generic type parameters.

Publications

You can find more information on NMF Synchronizations in the Software & Systems Modeling paper about it.

Further, there are a range of TTC papers describing solutions to specific transformation problems:

• Two NMF Solutions to the TTC2023 Incremental Class to Relational Case
• An NMF Solution to the TTC2023 Containers to MiniYAML Case
• An NMF solution to the TTC2021 incremental recompilation of laboratory workflows case
• An NMF solution to the TTC 2020 roundtrip engineering case
• Benchmarking bidirectional transformations: theory, implementation, application, and assessment
• An NMF solution to the Smart Grid Case at the TTC 2017
• An NMF solution to the Families to Persons case at the TTC 2017
• An NMF Solution to the Java Refactoring Case