Projekt

Technische Konstruktionsprozesse folgen einem stufenweisen Entwicklungsschema, das viele Aspekte mit oftwaretechnischen Entwicklungsprozessen gemein hat. In dieser Analogie entsprechen CAD/CAM-Zeichnungen implementierten Programmen; dagegen bleiben andere Entwicklungsphasen, z.B. Anforderungskataloge oder Prinziplösungen, beim aktuellen Stand der Technik typischerweise informell und werden insbesondere nicht maschinell unterstutzt. In FormalCAD wollen wir moderne Methoden der Softwaretechnik auf die Konstruktionslehre übertragen, um den gesamten Konstruktionsprozess formal zu erfassen und dadurch insbesondere die Zuverlässigkeit und Wiederverwendbarkeit von Konstruktionen zu erhöhen. Wir zielen hierbei auf einen dokumentenorientierten Entwurfsprozess ab, der alle Konstruktionsphasen, von der Anforderungsanalyse bis hin zu CAD/CAM-Dokumenten, integriert und ferner Hintergrundwissen wie Fachontologien, Industrienormen und formale geometrische Prinzipien mit einbezieht. Hierzu werden wir eine Informationsarchitektur für einen solchen Prozess entwickeln und ihn durch ein System unterstützen, das formale Spezifikationssprachen, Ontologie-Inferenzsysteme und semantische Dokumentenmanagementsysteme an die in der Konstruktion verwendeten CAD/CAM-Systeme ankoppelt. Dadurch soll eine systemübergreifende Entwicklungsmethodik ermöglicht werden, die sowohl voll formalisierte Entwicklungsstränge und formales Änderungs- und Life-Cycle-Management als auch die semantische Vernetzung semi-formaler Dokumente für Dokumentation und Zertifizierung unterstützt.