Towards Design Formalization to Support Reuse in ECAD Frameworks

Joachim Altmeyer, Bernd Schuermann, Martin Schuetze
University of Kaiserslautern
D-67653 Kaiserslautern, Germany

Abstract
`Design Reuse' is one of the hopeful techniques to increase the productivity in ECAD frameworks. To support this reuse we propose a formal model to describe design objects, design processes, and requirement specifications. Using this model we introduce a measure to determine reuse candidates from the design database. We address the consideration of special CAD properties and discuss appearing problems.