Selmo dokumentiert sich selbst. Jede Information, die zur Laufzeit entsteht, ist direkt aus dem Modell ableitbar:
Welcher Zustand ist aktiv?
Welche Zone wartet auf Feedback?
Welcher Interlock ist ausgelöst?
Welcher Text wurde angezeigt?
Da diese Informationen aus der formalen Struktur stammen, ist die Dokumentation nie unvollständig. Das Modell ist die Dokumentation.
Zuletzt aktualisiert vor 4 Monaten
War das hilfreich?
