Domain-specific modelling with AToM3

Using domain-specific modelling environments maximally constrains users, matching their mental model of the problem domain, and allows them to only build syntactically correct models. Anecdotal evidence shows that domain-specific modelling can drastically improve productivity as well as product quality. In this paper, the foundations of (domain-specific) modelling language design are presented. Our guiding principle is to 11 model everything". It is indeed shown how all aspects of language design can be explicitly (meta-)modelled enabling the efficient synthesis of domain-specific, visual, modelling environments. The case of AToM(3), A Tool for Multi-formalism and Meta Modelling, is elaborated. Concepts are illustrated by modelling, analysis, simulation, and eventual synthesis of software for Traffic networks.