В книге автора [41 более подробно описываются бурные годы «структурной революции».

В 1974 и 1975 гг. два европейца выпустили книги, в которых положили начало возведению недостающего каркаса для конструирования программ. Как ни удивительно, две теории, раздельно описанные в этих книгах, оказались почти тождественными в своем основном исходном положении. Это исходное положение состоит в том, что структура, или форма, программы зависит от формы подлежащих обработке данных. Более того, структура данных может использоваться для фактического формирования структуры программы.

Первую книгу написал в 1974 г. Дж.-Д. Варнье [81. Он показал, как можно применять три основные конструкции Дейкстры для построения структур данных, а впоследствии также и структур программ. На рис. 2.1, 2.2 и 2.3 изображены вертикальные «скобочные схемы» Варнье, обозначающие основные конструкции.

Вторая книга, посвященная принципам конструирования программ, была опубликована в 1975 г. М.Джексоном 151; в ней используется нотация, описанная в гл. 1. С появлением этой книги методика Джексона конструирования программ начала завоевывать широкую аудиторию, быстро признавшую ее изящество, эффективность и корректность. Впоследствии обе методики - Джексона и Варнье - нашли отражение в учебных программах, пакетах программного обеспечения и публикациях.

К тому же К. Орр из Канзаса оказал большую услугу сообществу программистов, переведя с французского языка на английский большинство работ Варнье. Орр обобщил применение схем Варнье и назвал эту обобщенную нотацию схемами Варнье-Орра.

В этой книге мы сосредоточим внимание на методике Джексона и ее применении для конструирования программ. Метод Варнье - Орра превосходно описан в книге К. Орра [61.

2.2. Основные конструкции построения структур данных

Как отмечалось ранее в этой главе и в гл. 1, методика Джексона основывается на возможности представлять структуры данных и программ единым набором основных конструкций. Рассмотрим эти конструкции более детально.

Конструкция последовательности данных

Конструкция последовательности данных возникает, когда два или более компонента данных помещаются вместе строго последовательным образом, и образуют единый больший компонент данных. На рис. 2.4 компоненты В, С, и и Е обьединяются в указанном порядке и образуют последовательность А.

Рис. 2.4. Конструкция последовательности данных.

Для того чтобы такая конструкция была корректной последовательностью, в ней должны содержаться два или более подкомпонента; в рассмотренном случае компоненты В, С, Б и Е являются подкомпонентами конструкции А. Кроме того, всякий раз, когда встречается конструкция А, определенная на рис 2.4, каждый из четырех подкомпонентов должен встретиться один и только один раз, причем всегда нужно сохранять предписанный порядок подкомпонентов.

Типичным компонентом последовательности данных является запись И, которая состоит из трех последовательных частей: поля Н заголовка, поля Б данных и поля Т завершителя. Эта структура показана на рис. 2.5.