Из определения графов обходов вытекают следующие свойства:

1. Граф обходов дерева Аи образуется заменой подграфа обходов, соответствующего поддереву А{х), подграфом обходов, соответствующим поддереву.

2.Графы обходов деревьев ЛІП и ЛІC образуются при помощи объединения подграфов обходов поддеревьев Ли) и А{х ) (различие заключается в порядке расположения узлов поддеревьев). Свойства графов обходов позволяют определять координаты полей данных преобразованных структур на устройстве отображения терминала.

Таким образом, приведенная модель иерархических структур данных может быть использована при разработке протокола виртуального терминала, ориентированного на передачу форматных данных.

Существенно, что на каждом из уровней нас может интересовать как структура модели, так и ее поведение, т. е. реакция па определенные входные воздействия. Структура, т. е. способ соединения объектов, является статической характеристикой мо дели, а поведение отражает динамику ее работы. Так, например, на логическом уровне структура представляет собой логическую схему устройства, а его поведение описывается булевыми уравнениями. На уровне регистровых передач структура описывается блоксхемой соединения, а поведение - диаграммами состояний, временными диаграммами и т. п. Языки описания вычислительных систем должны, таким образом, какимлибо способом отображать принятые формы представления структуры и поведения устройств.

Заметим, что приведенная выше градация уровней несомненно проведена по структурному принципу. Уровни моделей поведения вычислительной аппаратуры могут быть определены следующим образом:

электрических сетей, логических схем (комбинационных и с памятью), микрокомандный и (или) командный, языковый операционной системы (ОС).

На микрокомандном и командном уровнях проверяется поведение системы при отработке микроинструкций или команд устройства. Соответственно на языковом уровне исследуется поведение системы под воздействием операторов некоторого языка программирования, а на уровне ОС - под воздействием директив. Последние два уровня редко используются на практике (исключая моделирование ОС как системы массового обслуживания). По всей видимости, это связано со слабым развитием техники формальных описаний системного уровня.

Теперь попробуем ответить на вопрос, как должна быть организована «стыковка» описаний разных уровней детальности. Очевидно, что при проектировании сверху вниз значения данных, полученные на входе и выходе какой-либо компоненты описания верхнего уровня, могут служить тестом, проверяющим функционирование модели этой же компоненты на более низком уровне. Гораздо более нетривиальна задача преобразования самих объектов данных с одного уровня на другой (например, регистра в его логическую схему или наоборот). Для этого требуется согласованный взгляд на понятие данных, семантику исчисления значений и модельное время в семействе совместно разрабатываемых языков.