Абстрактные структуры данных.

Полная спецификация процессов включает также описание структур данных, используемых как при передаче информации в потоке, так и при хра­нении в накопителе. Описываемые структуры данных могут содержать аль­тернативы, условные вхождения и итерации. Условное вхождение означает, что соответствующие элементы данных в структуре могут отсутствовать. Альтернатива означает, что в структуру может входить один из перечислен­ных элементов. Итерация означает, что элемент может повторяться некото­рое количество раз.

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

Все абстрактные структуры данных можно разделить на три группы:

Возможно вложение структур дан­ных, в том числе и разных типов, а потому для их описания могут потребо­ваться специальные модели. В зависимости от описываемых типов отноше­ний модели структур данных принято делить на иерархические и сетевые.