Existing bidirectional model transformation languages are mainly state-based: a transformation is considered composed from functions whose inputs and outputs only consist of origin...
Abstract. 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 consist...