A Formal Design Method

Abstract

In the first part of this article, there are described two ways out of the design process theory: metamodel as a basic principle of a design process description and non-standard logics as a feasible formal background of the design theory. In the second part, one possibility of the design process description is discussed by means of one type of nonstandard logic – modal logic formalism. A simple example shows some of the properties of our approach.