Konsistenzprüfungen für Komponentenkompositionen

Die Softwareentwicklung der Zukunft wird darin bestehen, vorhandene Softwarekomponenten zu einem lauffähigen System zusammenzubauen. Problematisch ist hierbei, ob die Komponenten zusammenpassen und zusammen ihre Aufgaben lösen. Unser Ausgangspunkt ist deswegen, dass jede Komponente einen Vertrag und ein Protokoll hat. Dieses Projekt untersucht, in wie weit Programmanalysetechniken helfen können, ob eine Komponente gemäß des Protokolls korrekt benutzt wird, wenn dieses als endlicher Automat definiert ist. Dabei soll berücksichtigt werden, dass eine Komponente auch Code des Benutzers aufrufen kann.