Ein Formalismus für die Generierung von Expertensystemen zur Lösung von Konfigurationsaufgaben aus konzeptuellen Spezifikationen des Expertenwissens