In this paper, we identify main challenges for domain speciﬁc modeling frameworks.
Arbitrary abstract to concrete syntax mapping enables the toolsmith to create visual
representation to complex logical models with the possibility to determine what detail
to show and what to hide in a ﬂexible way.
Interactive model simulation based on a model transformation architecture allows for
the design time analysis and precise ﬁne tuning of behavioral aspects.