Many knowledge acquisition approaches have been proposed to minimize the cognitive effort in knowledgebased system construction. The knowledge acquisition approach proposed here put together the user interaction benefits of semiformal modeling and the computational benefits of formal modeling. Our approach defines a method where the designer first constructs a semiformal model of the design process and then formalizes it to allow computational interpretation.