A semiformal description of migrating domainspec

Authors: Tihamer Levendovszky Daniel Balasubramanian Anantha Narayanan Feng Shi Chris van Buskirk Gabor Karsai

Publish Date: 2013/01/11

Volume: 13, Issue: 2, Pages: 807-823

PDF Link

Abstract

One of the main advantages of defining a domainspecific modeling language DSML is the flexibility to adjust the language definition to changing requirements or in response to a deeper understanding of the domain With the industrial applications of domainspecific modeling environments models are valuable investments If the modeling language evolves these models must be seamlessly migrated to the evolved DSML Although the changes stemming from the language evolution are not abrupt in nature migrating existing models to a new language is still a challenging task Our solution is the Model Change Language MCL tool set which defines a DSML to describe the migration rules and then performs the model migration automatically In this paper we describe the precise semantics of MCL and its execution along with the confluence of the migrationThis work was sponsored by DARPA under its Software Producibility Program The views and conclusions presented are those of the authors and should not be interpreted as representing official policies or endorsements of DARPA or the US government Approved for Public Release Distribution Unlimited

Keywords: