Towards a rigorous framework for dealing with domain specific language families

In this paper we present our approach to rigorously handle variation within a family of languages. Our starting point is a case study that we developed with industrial partners, where a major difficulty arised from the need to work with a set of domain specific languages (DSLs). Our solution is based on using the category theory. We consider the category of algebraic specifications implementing the semantics of the DSLs and we calculate the unifying language of the family.