Determining the Necessity of Human Intervention When Migrating Models of an Evolved DSL

This paper presents an approach for generating a migration script for existing models of an evolved DSL. The approach has two major benefits: first, unnecessary migration actions are eliminated automatically. Second and even more important, the necessity of human intervention during migration is determined automatically. The necessity of migration is determined by analyzing a DSL's metamodel and evaluating pre- and post conditions of transformation operator sequences.