Algorithmen Das in Abbildung 1 dargestellte Klassenmodell ist Teil einer größeren Anwendung zur Nachverfolgung von Zügen.
Eine Eigenschaft die alle Züge der Anwendung gelten soll (die Lichter des letzten Waggons müssen an sein), ist in Form einer OCL Invariante dargestellt.
Darüber hinaus sollen aber noch weitere Beschränkungen/Constraints gelten und Operationen unterstützt werden.
www.sts.tu-harburg.deAlgorithms The class model depicted in Figure 1is used as part of a larger application to track trains.
One of the properties that all trains in this application should fulfill is shown as an OCL invariant.
However, there are other constraints that should also be fulfilled, and operations that should be supported.
www.sts.tu-harburg.deVuoi aggiungere una parola, una frase o una traduzione?
Inserisci una nuova voce.