모듈의 논리를 설계할 때 사고과정을 체계화해 가는 방법론 중 하나이다.

추상적인 개념으로부터 구체적이고 정형화된 형태로 문서화하거나 시스템설계이다.

논리전개를 하향식으로 표현 가능하다.

문법상 제약을 고려할 필요가 없고 특정프로그램에 대한 지식이 없어도 된다.