摘要 |
Offenbart ist ein Verfahren zur wissensbasierten inkrementellen Synthese eines diskreten technischen Systems in Abhängigkeit von einer vorbestimmten ersten Konfiguration, wobei die erste Konfiguration eine realisierte konsistente konfliktfreie Kausalstruktur repräsentiert, eine vorbestimmte Wissensbasis umfasst, sowie eine synthesesteuernde Anforderungsbeschreibung, wobei eine zweite Konfiguration, die die synthesesteuernde Anforderungsbeschreibung erfüllt, mit folgenden Schritten generiert wird: Synthese einer nicht notwendig konsistenten und nicht notwendig konfliktfreien vervollständigten ersten Zwischenkausalstruktur aus der ersten Konfiguration und der Anforderungsbeschreibung mittels der Fusionsvorschrift, und Transformieren der ersten Zwischenkausalstruktur in eine nicht notwendig konfliktfreie vervollständigte konsistente zweite Zwischenkausalstruktur, und Transformieren der vervollständigten zweiten Zwischenkausalstruktur in eine der zweiten Konfiguration des technischen Systemes entsprechende konfliktfreie konsistente Kausalstruktur durch Konfliktauflösung mittels der Konfliktauflösungsbedingungen.
|