Refactorings in Language Development with Asymmetric Bidirectional Model Transformations

Abstract

Abstract. Software language descriptions comprise several heterogeneous interdependent artifacts that cover different aspects of languages (abstract syntax, notation and semantics). The dependencies between those artifacts demand the simultaneous adaptation of all artifacts when the language is changed. Changes to a language that do not change semantics are referred to as refactorings. This class of changes can be handled automatically by applying predefined types of refactorings. Refactorings are therefore considered a valuable tool for evolving a language. We present a model transformation based approach for the refactoring of software language descriptions. We use asymmetric bidirectional model transformations to synchronize the various artifacts of language descriptions with a refactoring model that contains all elements that are changed in a particular refactoring. This allows for automatic, type-safe refactorings that also includes the language tooling. We apply this approach to an Ecore, Xtext, Xtend based language description and describe the implementation of a non-trivial refactoring.

Potential Errors and Test Assessment in Software Product Line Engineering

“…For example, such an adaptation is necessary after the deletion of a feature to ensure that there is no broken feature reference in related mappings. In [31], we presented a prototype for co-adaptations in another model-based scenario, namely domain-specific language development.…”