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
Furthermore, a plethora of tools has been developed to assist practitioners with each of the individual modeling languages. ... A second problem is that these mappings between models are not easy to standardize, because different projects use the same modeling languages in different forms (semantics), which enforces configurable ... Ben-Abdallah • "Formalised EMFTVM bytecode language for sound verification of model transformations" by Zheng Cheng, Rosemary Monahan, and James Power • "Scope in model transformations" by Maris Jukss ...doi:10.1007/s10270-018-0694-1 fatcat:hhjedg7ekzhclbrss6k7us7d2m