A FORMAL DESIGN SCIENCE

Abstract

This paper presents the framework of a formal design science through summarizing and reviewing the author's research of design over the last decade. The paper firstly defines the scope of design science: nature-designer system. The reasoning capability of design science is developed on the basis of five axioms proposed by the author. Some theorems of design are briefly derived from these axioms. An industrial application of this formal design science is also presented. All these results are in the framework defined by the nature-designer system. Future directions are also given in the paper.