Приборы и системы. Управление, контроль, диагностика Аннотация к статье << Назад Инфологические элементы синтеза программ специализированной документальной связи СОБОЛЬ В.М. В статье в обобщенной форме рассмотрена технология разработки одного из основных компонент функционального программного обеспечения коммуникационных средств специального назначения – фрагмента реализации сервисного або- нентского протокола документального обмена. Предложенная технология представляет собой последовательность этапов построения из исходных неформализованных словесных описаний иерархической системы функциональных моделей дан- ного класса в нотациях расширенных сетей Петри и секвенциальных автоматов. Констатируется, что создание программ специфического класса задач логического управления документальным обменом органически интерпретируется парадигмой конечных автоматов. На примере одной из иерархических моделей сети Петри обработки сообщений изложена технологическая процедура синтеза и поэтапного представления поведения графической модели адекватной системой секвенций, что позволяет использовать ее арсенал средств для поддержки последующих этапов реализации программного обеспечения. Циклический характер старт-стопного функционирования задач интерпретирован совокупностью бесконечных парал- лельно-последовательных процессов конвейерного типа, взаимодействующих через программные буферы путем передачи соответствующих команд и заявок. Реализация основных процедур процессов построена на применении одной из форм CASE-технологии, в которой производится программная дешифрация входных заявок в зависимости от их значения и состояния программного автомата для вызова соответствующих исполнительных процедур и смены состояния переменных. Рассмотрена типизированная структура основных инфологических данных (дескрипторов, формуляров сообщений, прямых переговоров и т.п.). Показано, что их динамическая структура в общем случае представляет информационное дерево, создаваемое для описания каждого канала абонента непосредственной привязки к коммутатору. Рассмотренный подход в реализации протокола документального обмена в концепциях программных автоматов позволяет синтезировать программное представление его задач в виде унифицированных шаблонов, инвариантных к платформе и среде программирования. Ключевые слова: коммуникационный комплекс, документальный обмен, автоматная парадигма, программный автомат, система секвенций, сеть связи, сеть Петри, структура данных, взаимодействующие процессы, CASE-технология Контактная информация: E-mail:sobolvm@yandex.ru Стр. 17-25.