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

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

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

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

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

: = | «синтаксические единицы>

: = | |.

<�спец. знак>=> | | | 4> > |

: = I |.

= | |.

: = = Идентификатор терма>| | |.

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

" элементарные цепочки>: = =

: = «укрупненная задача, в рамках которой движется информация>=|» Требование>| …

<OI>: = = |" ОМТС>| | | …

" DI>:= = «Счет к оплате> | «Счет кполучению>| …

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

: =: = «ФО>|» ОМТС>| | …

>: = «полученный документ> = «Счет к оплате> | «Счет к получению> | …

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

" Грамматика>: = |.

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

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

Например:

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

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

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

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