Abstract: Formalization of program design methods is a key to automatic programming.This paper describes several approaches to formalize the Jackson method of program design (JSP) using formal language,automata,formal transformation and semantic model respectively.Their advantages and disadvantages are also discussed.