Heutige Softwaresysteme werden immer umfangreicher. Dies macht die Verifizierung und Validierung dieser Systeme zu einer immer schwierigeren Aufgabe. Nicht nur die Gr e der Systeme nimmt zu, es m ssen auch immer mehr Funktionen und Formalismen entwickelt und unterst tzt werden, um reale Anwendungen zu modellieren und zu analysieren. Jedes System wird in Form eines Modells dargestellt. Es gibt viele Modellierungsnotationen wie BPMN (Business Process...