Logo des Repositoriums

Auflistung nach Autor:in "Kreische, David"

1 - 2 von 2
  • Konferenzbeitrag
    Die Integration des Modellbasierten Systemtests in eine bestehende Prozess- und Werkzeugkette
    (INFORMATIK 2008. Beherrschbare Systeme – dank Informatik. Band 1, 2008) Kreische, David
    In diesem Artikel wird ausgeführt,wie der modellbasierte Systemtest aussehen sollte. Dabei wird auf die Integration in die bestehenden Prozesse und mit den vorhandenen Werkzeugen eingegangen: der modellbasierte Systemtest ergänzt den konventionellen Systemtest und ersetzt ihn nicht. Dabei liegt der Fokus auf einer Mo- dellierung, die von Fachtestern ohne tiefere Modellierungskenntnisse geleistet werden kann.
  • Konferenzbeitrag
    Modellierung von Geschäftsprozessen in der Unified Modeling Language und ihre Transformation in Petrinetze
    (Promise 2002 – Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen, 2002) Kreische, David
    In diesem Paper wird gezeigt, wie ein Geschäftsprozess mit Hilfe der Unified Modeling Language (UML) so modelliert werden kann, dass daraus die Berechnung von dynamischen Kenngrößen wie Durchführungszeit oder Ressourcen-Auslastung möglich ist. Zuerst werden die dazu verwendeten UML-Konstrukte vorgestellt. Dann werden die wichtigsten Elemente eines Algorithmus zur Transformation in ein Generalized Stochastic Petri Net (GSPN) präsentiert. Zuletzt werden die Ergebnisse eines Beispiel-Prozesses erläutert.