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.de您想添加一个词、一个短语或一段译文吗?
请发送新条目。