Providing Models of DSL Evolution Using Model-to-Model Transformations and Invariants Mechanisms

The research is related to the problem of coherent evolution of a domain-specific language (DSL) in response to evolution of the application domain and users’ capabilities. We offer a solution of that problem based on a particular model-driven approach. We give the whole definition of DSL in terms of model-oriented approach. Such definition allows us to define the DSL development using the mechanism of consecutive, consistent transformations between DSM, DSL metamodel and DSL concrete syntax model. In our approach we call such transformations as projections.