�berpr�fen, on die Java-Komponente eine korrekte Implementierung der Komponentenspezifikation ist: 1. auf Konformit�t pr�fen 2. das induzierte Transitionssystem konstruieren - dabei u.A. Fallunterscheidung f�r ausgel�ste Exceptions beachten 3. pr�fen, ob das konstruierte Transitionssystem ein Modell der Komponentenspezifikation ist Im Fall von Blatt 7 kann man ausn�tzen, dass bereits aus Blatt 6 ein Transitionssystem existiert, das ein Modell der Komponentenspezifikation ist. Es bleibt also zu zeigen, dass das induzierte TSys dem schon vorhandenen TSys entspricht.