Разработка языка моделирования

Объем словаря первичных терминов языка моделирования, количество уровней в нем и правила грамматики определяются результатами предшествующего развития модели. Запишем термины и грамматические правила языка моделирования в теоретико-множественных представлениях.

Как было показано выше, в рассматриваемой задаче в качестве единичного объекта, из которых формируются ОТП, выбран "Этап движения информации", включающий следующие элементы: укрупненная задача, отдел-изготовитель OI документа на данном этапе, входящий документ DI (исходная информация), функция F обработки (преобразования, создания) документа, исходящий документ DP (выходная информация), отдел-получатель ОР (сторонний получатель) выходной информации. Далее из вышеописанных элементов необходимо выбрать те, которые могут служить для связи между этапами. Это – отдел-получатель и отдел-изготовитель (при этом отдел-изготовитель на предшествующем этапе соответствует отделу-получателю на последующем), а также – входящий и исходящий документы (или массивы входной и выходной информации), которые также должны соответствовать на смежных этапах.

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

С учетом сказанного язык моделирования можно представить следующим образом (в бэкусовской нормальной форме).

<Тезаурус>:: = <основные символы> | "синтаксические единицы>

<основные символы>:: = <буквы> | <цифры> | <спец. знаки>

<спец. знак><цифра>=<step> | <seq_2> | <seq_3> | <seq_4> > | <seq_5>

<синтаксические единицы>:: = <термы> I <элементарные цепочки> |

<усложненные цепочки> = <MF> | <MZ> | <UZ>

<термы>:: = <MF> = Идентификатор терма>| | <слово> | <словосочетание>

"идентификатор терма>:: = <буква> | <буква><буква> I < <буква><буква><буква>

"элементарные цепочки>:: = <MZ>=<Z, OI, DI, F, DP, OP>

<Z>:: = "укрупненная задача, в рамках которой движется информация>=<Акцспт>|"Требование>| ...

<OI>:: = <отдел-изготовитель> = <ФО>|"ОМТС>| | <УТЗиК>| ...

"DI>::=<исходный документ> = "Счет к оплате> | "Счет кполучению>| ...

<F>:: = "функция обработки документа> = "Присвоение № счета> |

<ОР>:: = <отдел-получатель>:: = "ФО>|"ОМТС>| <УТЗиК>| ...

<DP>:: = "полученный документ> = "Счет к оплате> | "Счет к получению> | ...

"усложненные цепочки>:: = <UZ> = <MZ><MZ> | <MZ><MZ><MZ> | <MZ><MZ><MZ><MZ> I <MZ><MZ><MZ><MZ><MZ>

"Грамматика>:: = <G1> | <G2>

<G1>:: = "правила формирования усложненных цепочек типа "условного следования за" по принципу соответствия отделов-получателей и изготовителя и документов – исходящего и полученного>;

<G2>:: = "правила формирования усложненных цепочек типа "условного следования за" по принципу соответствия документов – исходного и полученного>.

Например:

Структура методики формирования ОТП приведена на рис. 7.5.

Рис. 7.5. Структура методики формирования ОТП

Таким образом, на основе использования подхода, базирующегося на постепенной формализации модели с попеременным использованием методов из групп МАИС и МФПС, разработана методика формирования и анализа организационно-технологических процедур подготовки и реализации управленческих решений, и язык их моделирования.

Используя разработанный язык, процедуру формирования модели можно автоматизировать. При этом правила типа G1 и G2 относительно несложно реализуются с помощью языков логического программирования (например, языка Турбо-Пролог).