Executable UML (xUML)

Eine Methode, um UML (Unified Modeling Language)-Modelle so präzise zu definieren, dass sie ausführbar sind.

• Klassendiagramme definieren die Struktur.
• Zustandsdiagramme definieren den Lebenszyklus.
• Eine Action Language (inkl. OCL) definiert die Logik.