Beschreibung externer Komponenten zur Analyse und Optimierung von Softwaresystemen

Um Komponenten zu beschreiben, die einem Uebersetzer in einem Uebersetzungslauf nicht in Quelltext vorliegen, weil sie entweder als Bibliotheken von Drittanbietern nur in binaerer Form verfuegbar sind, oder weil der Uebersetzer aus Kapazitaetsgruenden ihren Quelltext nicht in einen Uebersetzungslauf mit einbeziehen kann, wurde eine Beschreibungssprache entwickelt. Mit ihr lassen sich wichtige Eigenschaften der extern Komponenten beschreiben und dem Uebersetzer zur Verfuegung stellen, so dass Programmanalysen das Verhalten von Fragmenten der externen Komponenten mit beruecksichtigen koennen