Kolloquium WiSe 2014/15

Sprecher

Prof. Dr. Ralf Laue - Westsächsische Hochschule Zwickau, Fakultät Physikalische Technik/Informatik

When: Monday,  19.01.2014 – 17:15

Where: Room D-125, Informatikum

Der Vortrag wird in deutscher Sprache gehalten. - 
This talk will be held in German.

Titel

Pragmatische Ansätze zur Qualitätsüberprüfung von Modellen - 
Pragmatic Approaches for Quality Assesment of Models

Zusammenfassung

Wir Wissenschaftler können mit Model-Checkern, temporaler Logik, Petrinetzen und anderen formalen Methoden Modelle auf Korrektheit prüfen. Von Praktikern ohne Ausbildung in formalen Verifikationsmethoden werden entsprechende Werkzeuge jedoch kaum eingesetzt.

Der Vortrag diskutiert, wie die Brücke zu "normalen" Anwendern geschlagen werden kann.

Neben eigenen Ansätzen (Spezifikationsmuster für Echtzeitanforderungen und musterbasierte statische Analyse für Geschäftsprozessmodelle) soll der Vortrag Anregungen zum Transfer formaler Methoden in Richtung der Endanwender vorstellen.

Lebenslauf

Prof. Dr. Ralf Laue, geb. 1968, nach einem Studium der Mathematik beschäftigt als Systemprogrammierer im Rechenzentrum der Deutschen Rentenversicherung (1994-99), später Abteilungsleiter Systemadministration bei der Virbus AG, einem auf Zahlungsdienstleistungen spezialisierten Internetunternehmen (1999-2003). Von 2003-2009 Promotion im Fach Informatik an der Universität Leipzig, 2011 Berufung zum Professor für Software Engineering an der Westsächsischen Hochschule Zwickau.

Forschungsinteressen: Geschäftsprozessmodellierung, Qualität und Verständlichkeit graphischer Modelle.

Kontakt

Prof. Markus Nüttgens - Universität Hamburg, BWL Fakultät, Wirtschaftsinformatik