On Graphs in Conceptual Engineering Design

Abstract. This paper deals with knowledge-based computer aided design. A novel method giving additional support for conceptual design is presented. In this method, a designer first specifies the functional requirements and the structure of the designed object based on use cases and function graphs. Then a prototype design is derived from these requirements. Subsequently, the designer checks the fulfilment of certain consistency rules and engineering norms by calling a constraint checker. This checker uses the background knowledge stored in graph structures and the reasoning mechanism provided by the graph rewriting system PROGRES. An example of designing a swimming pool illustrates the proposed methodology.

• Type: Conference
• Year: 2003
• Where: AGTIVE
• Authors: Janusz Szuba, Agnieszka Ozimek, Andy Schürr
• Keywords: AGTIVE 2003, Certain Consistency Rules, Computer Aided Design, Designer first Specifies, Formal Languages