摘要：设计方案重用一直是方案设计领域中的难题,主要原因在于计算机不擅长处理方案设计过程中的抽象信息和无法实现设计方案的形式化表达.针对上述问题,在分析了大量设计语义后建立了设计语义元表,并通过语义元之间的挂靠操作实现了抽象设计语义的具体化表达.在此基础上,通过建立方案树与/或关系运算规则实现了方案设计过程的形式化和设计结果的形式化.由于形式化的方案设计结果不仅表达了方案设计的原理解,而且隐含了方案设计的过程信息,因此较好地实现了对已有设计方案的多层次重用.上述理论和方法已经在DDMS (Drawing,design and management system)系统中实现.

关键词：软件开发 软件重用 语义元 设计方案形式化 计算机 

单位：浙江大学CAD&CG国家重点实验室; 杭州; 310027