PEST: Programming Environment for Statecharts
Pflichtenheft

Das Dokument beschreibt die Funktionalität von PEST. Das Werkzeug ist in zwei Stufen zu folgendem Zeitplan zu implementieren:

Stufe 1:

Zum 11.01.99.

Stufe 2:

Zum Vorlesungsende.

Die genaue Syntax der Statecharts ist in Anhang A beschrieben, die abstrakte Syntax der Statecharts in Anhang B.

PEST wird anhand einer wirklichkeitsnahen Statecharts-Spezifikation erprobt. Das Erstellen dieser Spezifikation ist Bestandteil des Projektes.

 
• Editor
  • Stufe 1.
  • Stufe 2.
• TESC: Textuelle Statecharts-ähnliche Sprache
  • Stufe 1.
  • Stufe 2.
• Interaktive Simulation von Statecharts
  • Stufe 1.
  • Stufe 2.
• Codegenerierung: Statecharts Java
  • Stufe 1.
  • Stufe 2.
• Syntaktische Checks
  • Stufe 1.
  • Stufe 2.
• Graphische Benutzerschnittstelle
  • Stufe 1.
  • Stufe 2.
• Schnittstelle zu STATEMATE
  • Stufe 1.
  • Stufe 2.
• Fallstudie
• Syntax
  • Changes from the previous version.
  • Updated syntax
    • State hierarchy:
    • Initial State:
    • Default Connector:
    • Status and Active States:
    • OR-state:
    • Basic State:
    • External Stimuli:
    • Non-Determinism:
    • Conflicting Transitions:
    • Duration of Events:
    • AND-state:
    • Maximal Parallelism:
    • Implicitly Generated Events:
    • Inter-level Transitions:
    • Transition Priority:
    • Scope:
    • Broadcast communication:
• Abstrakte Syntax
• Literatur
• Über dieses Dokument ...