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 objektorientierte Softwareentwicklung. Die Zustandsdiagramme unterstutzen das Formulieren korrekter Zusicherungen. Ebenso tragen sie zu einem besseren Verstandnis der Klassenprotokolle bei, indem sie das Zusammenspiel der Operationen verdeutlichen. Das Buch richtet sich an Softwareentwickler ebenso wie an Softwarearchitekten."