Points-To Analyse für eine Kernsprache von AspectJ

Aspektorientierte Programmierung ist ein neuesModularisierungskonzept des Softwareentwurfs.Mithilfe dieses Konzepts ist es möglich, inSoftwaresystemen "crosscutting concerns" ineigenständige Module -sogenannte "Aspekte"- zuextrahieren. In sogenannten "Pieces of Advice" könnenan bestimmten Stellen im Programmfluss, denJoinpoints, zusätzliche Aktionen definiert werden. DaPieces of Advice Zugriff auf den Kontext derJoinpoints und insbesondere auf die Heapobjekte indiesem Kontext haben, können Konfliktsituationenauftreten.Eine Interferenzanalyse benötigt Informationen überden Datenfluss im Programm um dieseKonfliktsituationen zu lokalisieren. Mithilfe einerPoints-To Analyse lassen sich die benötigtenInformationen ermitteln.Sowohl für die Points-To Analyse als auch für dieInterferenzanalyse wurden funktionierende Prototypenfür einen Teil der aspektorientierten Sprache AspectJimplementiert. Basierend auf dieser Arbeit könnenweitere Programmanalysen für AspectJ entwickelt werden.

Autorentext

Florian Forster, geb. 1980, studierte Informatik/Computerlinguistik an den Universitäten Amberg und Passau und schloss das Studium 2005 mit Diplom ab. Derzeit studiert er Wirtschaftswissenschaften an der FernUniversität in Hagen.

Klappentext
Aspektorientierte Programmierung ist ein neues Modularisierungskonzept des Softwareentwurfs. Mithilfe dieses Konzepts ist es möglich, in Softwaresystemen "crosscutting concerns" in eigenständige Module -sogenannte "Aspekte"- zu extrahieren. In sogenannten "Pieces of Advice" können an bestimmten Stellen im Programmfluss, den Joinpoints, zusätzliche Aktionen definiert werden. Da Pieces of Advice Zugriff auf den Kontext der Joinpoints und insbesondere auf die Heapobjekte in diesem Kontext haben, können Konfliktsituationen auftreten. Eine Interferenzanalyse benötigt Informationen über den Datenfluss im Programm um diese Konfliktsituationen zu lokalisieren. Mithilfe einer Points-To Analyse lassen sich die benötigten Informationen ermitteln. Sowohl für die Points-To Analyse als auch für die Interferenzanalyse wurden funktionierende Prototypen für einen Teil der aspektorientierten Sprache AspectJ implementiert. Basierend auf dieser Arbeit können weitere Programmanalysen für AspectJ entwickelt werden.