|
63 Наследуемый атрибут> ::= <код подразделения^*; <синтезируемый атрибут> ::= <число>. Таким образом, атрибутная грамматика представляет собой порождающую грамматику с дополнительными механизмами передачи информации и обработки некоторых не контекстно-свободных аспектов синтаксиса языка моделирования процесса управления (например, требования ограничений по ресурсам). Неформально атрибутную грамматику можно определить как порождающую грамматику, нетерминальным и терминальным символам которой приписываются таблицы значений атрибутов [9, 96]. Атрибуты подобной грамматики разделяются на два типа: синтезируемые и наследуемые. Синтезируемые атрибуты вычисляются по методам, связанным с нетерминалами, входящими в левую часть порождающего правила, когда как наследуемые атрибуты по методам, связанным с терминалами и нетерминалами, входящими в правую часть порождающего правила. Другими словами, значение синтезируемого атрибута некоторого нетерминального символа определяется символами, расположенными в дереве вывода под этим нетерминалом. Такое восходящее вычисление выражается в том, что методы вычисления атрибутов, ассоциированные с правилами вывода, указывают как вычислять атрибуты в левой части правила по заданным атрибутам символов правой части. Значение наследуемого атрибута ограничивается деревом вывода над соответствующим символом. 2.2. Оценка возможных вариантов выполнения реорганизации структуры управления Предложенная модель и методика реорганизации структуры управления обеспечивают генерацию огромного количества вариантов выполнения процессов управления. При принятии решения по выбору одного или не |
Множество As состоит из кортежей значений ресурсов (и, гг............. гк), характеризующих затраты на выполнение компонентов бизнес-процесса (время выполнения, число сотрудников, требуемое машинное время, объемы сырья и затратных материалов и т.п.). Множество Ап содержит перечень кодов структурных подразделений предприятия Oj эАп (с необходимой степенью детализации: до уровня отделений, отделов, лабораторий, групп и т.п.), задействованных при выполнении бизнес-процесса. Множество С = { ‘, °} состоит из апострофа над левой частью порождающего правила, означающего начало параллельных процессов, и пустого символа ° над левой частью порождающего правила, означающего линейный переход к правой части правила. Множество порождающих правил Р имеет вид: «порождающее правило>::= «левая часть правила> => «правая часть правилам < левая часть правила >::= <бизнес-функция1> < оргштатная характеристика > «символ параллелизма> ; < бизнес-функция1>::= «нетерминальный символ> < оргштатная характеристика >::= «наследуемый атрибут> 0; < символ параллелизма >::= ‘ ° ; 0 ■ < правая часть правила >::= «бизнес-функция 1> < бизнес-функция2> «ресурсная характеристик < оргштатная характеристика > ; < бизнес-функция2»::= «терминальный символ> < нетерминальный символ >; < ресурсная характеристика >::= («синтезируемые атрибуты?*) I °; < синтезируемые атрибуты >::= «синтезируемый атрибут> I «синтезируемые атрибуты> , «синтезируемый атрибут> ; < наследуемый атрибут>::= «код подразделения> ; < синтезируемый атрибут >::= <число> ; Таким образом, атрибутная грамматика представляет собой порождающую грамматику с дополнительными механизмами передачи информации и обработки некоторых не контекстно-свободных аспектов 85 синтаксиса языка моделирования бизнес-процесса (например, требования ограничений по ресурсам). Неформально атрибутную грамматику можно определить как порождающую грамматику, нетерминальным и терминальным символам которой приписываются таблицы значений атрибутов. Атрибуты подобной грамматики разделяются на два типа: синтезируемые и наследуемые. Синтезируемые атрибуты вычисляются по методам, связанным с нетерминалами, входящими в левую часть порождающего правила, тогда как наследуемые атрибуты по методам, связанным с терминалами и нетерминалами, входящими в правую часть порождающего правила. Другими словами, значение синтезируемого атрибута некоторого нетерминального символа определяется символами, расположенными в дереве вывода под этим нетерминалом. Такое восходящее вычисление выражается в том, что методы вычисления атрибутов, ассоциированные с правилами вывода, указывают, как вычислять атрибуты в левой части правила по заданным атрибутам символов правой части. Значение наследуемого атрибута ограничивается деревом вывода над соответствующим символом. Ниже приводится алгоритм автоматического построения атрибутной грамматики из введенной в предыдущем параграфе модели бизнеспроцесса, являющегося направленной сетью без циклов. При этом, не нарушая общности, можно считать, что бизнес-функция является элементарным компонентом бизнес-процесса. 1) В качестве начальных символов Vo выбираются узлы из множества N, соответствующие бизнес-функциям, описывающим точки первого контакта с клиентом, инициирующие бизнес-процесс. 2) В качестве терминальных символов Vt выбираются узлы из множества N, соответствующие бизнес-функциям, описывающим точки последнего контакта с клиентом, завершающие бизнес-процесс. 3) В качестве нетерминальных символов VN выбираются все остальные узлы из множества N, при этом Vo с VN. 4) Множество синтезируемых атрибутов As в точности совпадает с множеством ресурсов R (в случае отсутствия необходимости контроля 86 |