Die rasche Erstellung robust lauffähiger Prozessanwendungen waren ein zentrales Anliegen bei der Entwicklung der AristaFlow-Technologie. Sowohl die Erstellung neuer Prozessmodelle als auch Ad-hoc-Änderungen zur Ausführungszeit auf Prozessinstanzebene wurden deshalb in AristaFlow so realisiert, dass viele der potenziell möglichen Modellierungsfehler systemseitig "per Konstruktion" ausgeschlossen oder aber - wo dies nicht möglich ist - durch nebenläufige Analysen sofort erkannt und gemeldet werden.

Das "Correctness by Construction"-Prinzip führt - richtig eingesetzt - zu einer signifikanten Reduzierung des Entwicklungs- und Testaufwandes und resultiert auch in sehr kurzen Einarbeitungszeiten in die Prozessmodellierung mit dem AristaFlow Process Template Editor.

Das Tutorial geht auf einige typische Prozessmodellierungsfehler ein und zeigt, wie diese durch das "Correctness by Construction"-Prinzip verhindert bzw. erkannt werden.

Dauer: 17 Minuten

Das Tutorial zeigt die Modellierung von Prozessen mit Kontroll- und Datenfluss mit dem AristaFlow Process Template Editor. Außerdem wird demonstriert, wie Prozessmodelle bereits in einem frühen Stadium der Entwicklung mit Hilfe des AristaFlow TestClient zur Ausführung gebracht werden können, etwa, um es zu testen oder um es mit dem Fachanwender im Sinne eines "Rapid Prototyping" gemeinsam verifizieren zu können.

Dauer: 29 Minuten