Formalisierung von Modellen Abstraktion durch Modellierung ist im Software- und Systems-Engineering ein bewährtes Mittel. Darstellungen, die auf bestimmte Aspekte reduziert sind, helfen den Projektbeteiligten dabei, hohe Komplexität zu beherrschen. Darum wird in vielen Projekten auch großer Aufwand in das Erschaffen von Modellen investiert. Dieser Aufwand ist umso höher, je mehr formale Kriterien das Modell erfüllen…