Инфологическое обеспечение | Языковое | Декларативный базис
Содержание
Служит для описания структуры и свойств объектов данных (элементарных, сложных) с т. зр. формального исполнителя (напр. информашины) в графовой форме.
Алфавит образуют следующие операторы (директивы).
Описание данных как абстрактных типов проводится по следующим правилам.
2.3.2.1. АТ-схемы представляют собой орграфы, причём всё объекты, кроме дуг, являются вершинами. Направление дуг от начала схемы к концу (в терминах языка – по шампуру) подразумевается и потому специально не показывается; направление дуг против шампура показывается стрелкой на конце дуги.
АТ-схемы в зависимости от рода определения несут следующий смысл:
реальные – описывают конкретные типы величин процессов, формализуемых как исполнимые описания (программы для реальных исполнителей);
условные – описывают обобщённые типы для учебных и/или научных целей.
В АТ-языке разрешена подстановка (оформляемая оператором Вставка типа). В силу этого описание типов м.б. выполнено как разнесённым способом (в виде АТ-модели, содержащей общую и частные схемы), так и совмещённым способом – в виде единой АТ-схемы (без подстановок). Общая схема носит имя процесса, к которому относится система типов. Каждая частная схема описывает ряд типов (неатомарных и/или атомарных; последние представляют конкретные объекты процесса).
Тип структуры АТ-схемы – одиночное В-дерево (с нетерминальными мультиузлами). Терминальными вершинами м.б. любые атомарные типы. Условные АТ-схемы допускают контуры в случаях, показанных далее при определениях.
Дополнительно для классиф-схем определены структуры типа «сращение В-деревьев», где отдельные листы м.б. общими для двух и более древесных структур.
2.3.2.2. АТ-схемы организованы (находятся «в статике») следующим образом:
СА. Типом листа по умолчанию принят числовой.
СБ. Используются правила организации шампур-метода, состав которых уточняется следующим образом: (как показано в графит-методе для древ-схем).
А. Расположение вершины-вхождения показывает способ композиции соединяемых ею элементов: по вертикали (вхождение вытянуто горизонтально) либо по горизонтали (вытянуто вертикально).
Б. Реальные АТ-схемы составляются по следующим правилам:
Общая схема именуется так же, как процесс (единственный или головной визуал), для которого она составляется.
Содержание общей АТ-схемы образуют: вершины атомарных типов с указанием имён величин процесса, имеющих данный тип; вставки частных АТ-схем; полки типа с указанием величин процесса, имеющих данный тип (неатомарный).
2.3.2.3. АТ-схемы строятся (находятся «в динамике») следующим образом:
ДА. Используются общие и сеть-специфичные правила построения графит-метода.
ДБ. В РДП-редакторе поддерживаются операции «редактирования по выделению», причём выделены м.б. одна вертикаль либо поддерево схемы. Выделение используется через «карман» редактора.
В начало страницы | Оглавление | Версия для печати
Copyright © Жаринов В.Н.
