Algebra-basierte Feature-orientierte Programmsynthese

in Feature list einealeinheit auffassbare Verhaltensweise einesoftwaresystems。特性是由Gemeinsamkeiten和Unterschieden von Softwaresystemen benutzt定义的。Ein Beispiel ist das Anwendungsfeld der Datenhaltung, mit Features wie Transaktionsverwaltung, spezielle Speicherstukturen der mutitianwenderbetrieb。软件wäre wesentlich leichter erstellbar and wartbar，当每一个austrktureller Ebene都可以识别出最好的特征，然后再识别出最好的特征，然后再识别mittelen zusamengesetzt werden könnte。Diese Vorgehensweise ß ßt面向功能的整体软件。在德国，有一种新的研究方法，即研究方法和研究方法，研究方法和研究方法，研究方法和研究方法。基于代数的面向特征的程序合成方法，由Ziel主持的项目特征基金会。程序与功能的合成与自动合成是一种基本的合成方法。本论文主要研究了代数理论、代数理论、代数理论、代数理论、代数理论、代数理论等方面的问题。

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.