61 функциональные, информационные и поведенческие аспекты. Формальный аппарат решения задачи планирования реорганизации структуры управления основан на введении специальной параллельной атрибутной порождающей грамматики для процесса управления, назначение которой заключается в умении строить любые правильные цепочки (сценарии) выполнения процесса управления (т.е. возможные последовательности необходимых для выполнения процесса функций управления), не генерируя при этом ни одной неправильной цепочки [1, 67]. Параллельной атрибутной порождающей грамматикой для процесса управления называется следующая упорядоченная девятка объектов [1, 14, 19,71]: <3 = (к (2.8) где ут множество терминальных символов; yN множество нетерминальных символов; у0 с yN множество начальных символов; Р множество порождающих правил; конечное множество синтезируемых атрибутов; Ms множество методов синтеза атрибутов; Дп конечное множество наследуемых атрибутов; Мп ~ множество методов наследования атрибутов; С множество символов, определяющих параллелизм. Первые четыре объекта G определяют традиционным образом порождающую грамматику. Следующие четыре объекта определяют множество свойств (атрибутов), характеризующих символы порождаемых цепочек, и правила обработки этих свойств. Последний символ предназначен для обеспечения возможности порождения подцепочек функций управления, которые могут (но не обязательно должны) выполняться параллельно. Множество ут включает в себя идентификаторы функций, завершающих процессы управления. Множество yN содержит идентификаторы всех остальных функций, содержащихся в процессе управления, при этом инициирующие процесс функции выделены в отдельное подмножество уа с уы. |
§ 2.2. Грамматика бизнес-процесса и его порождение Формальный аппарат решения задачи планирования бизнес-процесса основан на введении специальной параллельной атрибутной порождающей грамматики для бизнес-процесса, назначение которой заключается в умении строить любые правильные цепочки (сценарии) выполнения бизнес-процесса (т.е. возможные последовательности необходимых для выполнения процесса бизнес-функций), не генерируя при этом ни одной неправильной цепочки. Определение 1. Параллельной атрибутной порождающей грамматикой для бизнес-процесса называется следующая упорядоченная девятка объектов: G = (Vn, Vt, Vo, Р, As, Ms, An, Mn, С), где VT множество терминальных символов; VN множество нетерминальных символов; Vo с Vn множество начальных символов; Р множество порождающих правил; As конечное множество синтезируемых атрибутов; Ms множество методов синтеза атрибутов; Ап конечное множество наследуемых атрибутов; Мп множество методов наследования атрибутов; С множество символов, определяющих параллелизм. Первые четыре объекта G определяют традиционным образом порождающую грамматику [1, 70]. Следующие четыре объекта определяют множество свойств (атрибутов), характеризующих символы порождаемых цепочек, и правила обработки этих свойств. Последний символ предназначен для обеспечения возможности порождения подцепочек бизнес-функций, которые могут (но не обязательно должны) выполняться параллельно. Множество VT включает в себя идентификаторы функций, завершающих бизнес-процесс. Множество Vn содержит идентификаторы всех остальных функций, содержащихся в бизнес-процессе, при этом инициирующие процесс функции выделены в отдельное подмножество Vo. 84 |