Diskussionsrunde "Aspekte und Frameworks"
-----------------------------------------

Teilnehmer: Stephan Herrmann, Katharina Mehner und Klaus Ostermann
-----------

In einer weiteren Diskussionsgruppe wurden Kompositionsmechanismen
für objektorientierte und aspektorientierte Frameworks näher betrachtet
und verglichen. Bei objektorientierten Frameworks müssen nicht nur
Bedingungen bei der Verwendung einzelner Klassen zur Instantiierung
oder Vererbung eingehalten werden (wie z.B. Aufrufreihenfolgen und
Vor-/Nachbedingungen), sondern die Verwendung einer Klasse kann
auch die Verwendung anderer Klassen erfordern oder verbieten.
In der Regel fehlen Techniken zur automatischen Überprüfung solcher
Konsistenzbedingungen. Auch Aspekte können sich gegenseitig erfordern
oder ausschliessen. Zusätzlich kann eine Reihenfolge vorgeschrieben
sein, in der die Aspekte angewendet bzw. eingewebt werden müssen. Auch hier
ist eine automatische Konsistenzprüfung wünschenswert. Als Alternative wurde
vorgeschlagen, zusammen mit Frameworks Testsuites zu definieren, die
bestimmte Konsistenzen prüfen.