Design-as-satisfiability: A new approach to automated synthesis
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Integrating The Concept Of Synthesis In The Software Architecture Design Process
Journal of Integrated Design & Process Science
Component-based records: A novel method to record transaction design work
Advanced Engineering Informatics
Hi-index | 0.00 |
Presents and analyzes a formal model of a design process, emphasizing the synthesis part. The design artifact description is identified as an algebraic structure. The desired function and constraints are mapped to the artifact description using an evolutionary process that can be visualized as a feedback loop of analysis, synthesis and evaluation. A special case of the synthesis activity, called the basic synthesis problem (BSP), is addressed. The BSP is shown to be NP-complete. As a consequence, tractability can be obtained by enforcing constraints on the artifact structure. As such, the authors present a model having an element of descriptive design theory that is also a framework for the future development of computational support systems and automatic design tools