|
95 б) создание набора нетерминалов ( Vn ), соответствующего основным синтаксическим понятиям (определенным цепочкам терминалов и т.п.) языка описания КТД; в) создание набора продукций (Р), описывающих правила формирования структур КТД. (2) Декомпозиция терминалов грамматики, созданной на этапе (1). При этом каждый терминал рассматривается как композиция элементов нижележащего страта, описываемых соответствующей грамматикой. В конце декомпозиции получаются элементы модели КТД (цепочки бит, кодовые слова, идентификаторы и т.п.), являющиеся наименьшими рассматриваемыми частями КТД. (3) Создание грамматик, описывающих структуру элементов КТД нижележащих страт. (4) Определение отношений (интерфейсов, правил согласования) между смежными уровнями и создание обшей одноуровневой или многоуровневой грамматики о правилами типа суперпозиции. Создание общей одноуровневой грамматики основано на операции подстановки (суперпозиции), являющейся отображением конечного множества VT в подмножество T(ai) для каждого ai Vt, где T(ai) -некоторый регулярный или контекстно-свободный язык. В [104] представлен пример использования данного алгоритма для создания одноуровневой регулярной грамматики. При использовании подобных эвристических алгоритмов проверка правильности создаваемых описаний и их оптимизация в рамках общей теории синтеза ФГ осуществляется с использованием экспертных оценок и представительного набора методов имплементации, верификации, тестирования созданных описаний, в том числе по реальным сигналам КТД. В целом, анализ данного метода и реализующего его эвристического |
104 у сетевое объединение грамматик, описывающих отдельные структуры, процедуры и протоколы [96]. В общем случае, в основу создания методов и алгоритмов в рамках данного подхода, может быть положен эвристический метод создания формальных описаний многоуровневых сложноструктурированных образов и систем протоколов (метод Харангозо), предложенный в [150, 174] и основанный на использовании процедуры последовательной декомпозиции сложноструктурированных объектов различных уровней с учетом интерфейсов между уровнями [113]. По существу, этот метод позволяет создавать контекстно-свободные и регулярные структуры грамматик только с отображениями типа суперпозиции между стратами ГС. Известный метод предполагает использование следующего обобщенного эвристического алгоритма построения подобных ГС. (1) Создание грамматики, описывающей порядок взаимодействия между двумя взаимосвязанными элементами структуры РСДЗ, расположенными на одном уровне иерархии (страте); а) создание набора терминалов ( Vt ), соответствующего основным элементам структуры РСДЗ (кадры, пакеты, блоки, команды и т.п.); б) создание набора нетерминалов ( Vn ), соответствующего основным синтаксическим понятиям (определенным цепочкам терминалов и т.п.) языка описания РСДЗ; в) создание набора продукций (Р), описывающих правила формирования структур РСДЗ. (2) Декомпозиция терминалов грамматики, созданной на этапе (1). При этом каждый терминал рассматривается как композиция элементов нижележащего страта, описываемых соответствующей грамматикой. В конце декомпозиции получаются элементы РСДЗ (цепочки бит, байты, символы, элементы изображений, формализованных сигналов и сообщений и т.п.), являющиеся наименьшими рассматриваемыми частями РСДЗ. 105 I r5 (3) Создание грамматик, описывающих структуру элементов РСДЗ нижележащих страт. (4) Определение отношений (интерфейсов, правил управления и погружения) между смежными стратами и создание обшей одноуровневой или многоуровневой грамматики о правилами типа суперпозиции. Создание общей одноуровневой грамматики основано на операции подстановки (суперпозиции), являющейся отображением конечного множества VT в подмножество T(aj) для каждого aj е Vt, где Т(а;) -некоторый регулярный или контекстно-свободный язык. В [174] представлен пример использования данного алгоритма для создания одноуровневой регулярной грамматики, описывающей протокол передачи данных, соответствующий рекомендации Х.25. При использовании подобных эвристических алгоритмов проверка правильности создаваемых описаний и их оптимизация в рамках общей теории синтеза ФГ осуществляется с использованием экспертных оценок и представительного набора методов имплементации, верификации, тестирования созданных описаний. В целом, анализ данного метода и реализующего его эвристического алгоритма показал, что они могут быть использованы в качестве основы для создания методов построения моделей и эталонных спецификаций РСДЗ, ориентированных на применение рассмотренных подклассов регулярных и контекстно-свободных ГС, представленных выше. Ряд предложенных методов и алгоритмов рассмотрен в работах [88, 89, 96], ориентированных на конкретные прикладные области исследований и разработок. Ниже представлен один из методов и реализующий его обобщенный эвристический алгоритм, ориентированный на применение комбинированных ГС, используемых в последующих подразделах для решения рассматриваемого класса задач. В модифицированном методе предполагается производить описание структурных компонент РСДЗ определенных страт с помощью грамматик, |