In diesem Buch wird eine wechselseitige Abbildung zwischen UML-Zustandsdiagrammen und den Vertragen von Java-Klassen nach dem Vertragsmodell (Design by Contract) hergestellt. Zunachst wird beschrieben, wie aus einer bestehenden Java-Klasse mit explizit angegebenen Vor- und Nachbedingungen (Zusicherungen) zu den Operationen automatisch ein Zustandsdiagramm generiert werden kann. Anschliessend wird erlautert, wie aus einem bestehenden Zustandsdiagramm die Zusicherungen der Operationen bestimmt werden konnen. Zusammen bilden diese Verfahren ein machtiges Round-Trip-Engineering-Verfahren fur die...

Dieses Buch stellt anhand zahlreicher Fallbeispiele strategische Losungen auf Basis der politischen Rahmenbedingungen, der Sichtweise der offentlichen Verwaltung und aus der Perspektive von Logistikdienstleistern sowie aus dem internationalen Bereich dar."