FeatureFoundation
English

Algebra-Basierte Feature-Orientierte Programmsynthese


Zusammenfassung

Ein Feature ist eine als Einheit auffassbare Verhaltensweise eines Softwaresystems. Features werden zur Spezifikation von Gemeinsamkeiten und Unterschieden von Softwaresystemen benutzt. Ein Beispiel ist das Anwendungsfeld der Datenhaltung, mit Features wie Transaktionsverwaltung, Speicherverwaltung oder Multianwenderbetrieb.

Software wäre wesentlich leichter erstellbar und wartbar, wenn sie auch auf struktureller Ebene aus klar identifizierbaren Features bestehen und mit einfachen Mitteln aus ihnen zusammengesetzt werden könnte. Diese Vorgehensweise heißt Feature-Orientierte Softwareentwicklung. Sie wird zur Zeit mit einer Fülle von unterschiedlichen Methoden, Sprachen und Werkzeugen verfolgt, die trotz ihrer gemeinsamen Zielsetzung schwer vergleichbar oder gar integrierbar sind.

Das Projekt FeatureFoundation hat zum Ziel, bisherige Arbeiten unter dem Ansatz der Algebra-Basierten Feature-Orientierten Programmsynthese zu vereinheitlichen. Die Synthese von Programmen aus Features soll weitestgehend automatisiert und auf ein solides formales Fundament gestellt werden.

Der erste Schwerpunkt des Projekts beschäftigt sich damit, die grundsätzlichen Gesetzmäßigkeiten, denen die Definition und Komposition von Features unterliegen, zu präzisieren und Alternativen zu benennen und zu erforschen. Dies geschieht durch die Weiterentwicklung einer bestehenden rudimentären Feature-Algebra, in der einfache, alternative Regeln im Umgehen mit Features definiert werden und ihre Konsequenzen evaluiert und gegeneinander abgewogen werden können. Viele der existierenden Ansätze finden sich in diesen Alternativen wieder.

Der zweite Schwerpunkt des Projekts liegt auf der praktischen Umsetzung und Anwendung der Feature-Algebra bzw. der Untersuchung ihrer Implikationen für die Softwareentwicklung. Auf Basis der Algebra werden prototypische Werkzeuge, z. B. der FeatureHouse, zur automatisierten Programmsynthese entwickelt. Alternativen in der Algebra werden als alternative Syntheseprozesse automatisch erzeugt. Im Rahmen mehrerer Fallstudien werden die praktische Relevanz der Algebra überprüft und Rückschlüsse auf die Validität der Entwurfsentscheidungen der Feature-Algebra gezogen.

Förderung

Das Projekt FeatureFoundation ist eine Kooperation der Universität Passau und der Universität Augsburg. Das Projekt wird von der Deutschen Forschungsgemeinschaft (DFG) unter den Projektnummern AP 206/2-1 und MO 690/7-1 gefördert (Bewilligung: 26.06.2008; Projektbeginn: Spätsommer 2008; Projektdauer: 2(+2) Jahre).

Veröffentlichungen

Kontakt

Das Projekt FeatureFoundation ist eine Kooperation der Universität Passau und der Universität Augsburg. Die Projektbeteiligten sind: