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."

In diesem Buch wird eine wechselseitige Abbildung zwischen UML-Zustandsdiagrammen und den Vertrgen von Java-Klassen nach dem Vertragsmodell (Design by Contract) hergestellt. Zunchst wird beschrieben, wie aus einer bestehenden Java-Klasse mit explizit angegebenen Vor- und Nachbedingungen (Zusicherungen) zu den Operationen automatisch ein Zustandsdiagramm generiert werden kann. Anschlieend wird erlutert, wie aus einem bestehenden Zustandsdiagramm die Zusicherungen der Operationen bestimmt werden knnen. Zusammen bilden diese Verfahren ein mchtiges Round-Trip-Engineering-Verfahren fr die objektorientierte Softwareentwicklung. Die Zustandsdiagramme untersttzen das Formulieren korrekter Zusicherungen. Ebenso tragen sie zu einem besseren Verstndnis der Klassenprotokolle bei, indem sie das Zusammenspiel der Operationen verdeutlichen. Das Buch richtet sich an Softwareentwickler ebenso wie an Softwarearchitekten.