用形式化方法设计工程智能CAD中的模型-实例库

摘要

模型 -实例库是基于知识的智能CAD系统的重要组成部分。本文用RAISE规范语言对原型库及实例库的结构及它们之间的关系进行了形式化地描述。通过将形式化规约自动翻译成C ++代码 ,建造了智能CAD系统的一个运行模型。