ジャクソンの構造化プログラミング
ダイクストラらに始まる構造化プログラミングの教義は、goto文とラベルで混線化し混沌状態となった計算プロセスの進行を、連接・選択・繰り返しの抽象による入れ子構造に置き換えさせることで単線化させた。並行性や並列性があまり知られていなかった1960年代において、プログラムといえば単線のプロセスであったことから、その単線化された構造は明らかに適切な構造であるとみなされ、プログラミングだけではなく、当然のように分析や仕様の分野にも輸入されるようになった。
一つの入口と一つの出口を持つプログラムは、入口から入ってくる入力データストリームを出口から出て行く出力データストリームに変換する装置と見ることができる。入力と出力のデータストリームをジャクソン構造図で表現してからそれぞれの構造図の要素を対応付け・合成し、求めるプログラムの構造を導出する方法をJSPプログラム設計法と呼ぶ。