Algebra-basierte Feature-orientierte Programmsynthese

点击翻译按钮获取中文摘要

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, spezielle Speicherstukturen oder MuItianwenderbetrieb. 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. Auf theoretischer Seite werden verschiedene Versionen einer Feature-Alge bra untersucht, auf praktischer Seite werden auf Basis dieser Algebren Softwaregeneratoren entwickelt und in Fallstudien erprobt.