Modelle für sicheren Entwurf und Codegenerierung nebenläufiger Software

Mittels eines grafischen modellgestützten Ansatzes lässt sich nebenläufige Software zielsicherer
entwickeln. Zum einen können die Vorteile einer modellgestützten Vorgehensweise wie vereinfachte
Wiederverwendbarkeit, verbesserte Anpassungsfähigkeit, implizite Dokumentation etc. genutzt
werden, zum anderen können die nebenläufigen Aktionen grafisch visuell klar abgegrenzt werden.
Wird die modellgestützte Vorgehensweise mit einer automatischen Codegenerierung verbunden,
können viele Fehlerquellen, die für die nebenläufige Programmerstellung typisch sind, von Anfang an
vermieden werden.

Frank Schumacher, Thomas Greiner, Beitrag in JavaSPEKTRUM 06/2010