The 5 reference contexts in paper Georgy Kalyanov N., Георгий Калянов Николаевич (2016) “ФОРМАЛЬНЫЕ МЕТОДЫ ПОДДЕРЖКИ РЕОРГАНИЗАЦИИ БИЗНЕС-ПРОЦЕССОВ // FORMAL METHODS OF SUPPORT OF REORGANIZATION OF BUSINESS PROJECTS” / spz:neicon:statecon:y:2013:i:3:p:161-165

  1. Start
    5608
    Prefix
    и обеспечивает переходы и интерфейсы между ее этапами, а также наследование полученных на предшествующих этапах технологии результатов ее последующими этапами. 3) Является внутренней с позиций пользователя. Традиционные модели бизнес-процессов, с которыми пользователь работает непосредственно, такие как диаграммы потоков данных, SADT-диаграммы, диаграммы «сущность-связь» и др.
    Exact
    [1]
    Suffix
    , могут быть транслированы в предложенную модель бизнес-процесса, и наоборот, результаты, полученные при исследовании модели, ретранслируются в термины традиционных моделей. 3. Комплекс методов поддержки реорганизации бизнес-процесса Формальный аппарат решения задачи проектирования бизнес-процесса основан на введении специальной атрибутной правосторонней порождающей грамматики для бизнес
    (check this in PDF content)

  2. Start
    6016
    Prefix
    Комплекс методов поддержки реорганизации бизнес-процесса Формальный аппарат решения задачи проектирования бизнес-процесса основан на введении специальной атрибутной правосторонней порождающей грамматики для бизнес-процесса
    Exact
    [2]
    Suffix
    , назначение которой заключается в умении строить любые правильные цепочки выполнения бизнес-процесса (то есть возможные последовательности необходимых для выполнения процесса бизнес-функций), не генерируя при этом ни одной неправильной цепочки.
    (check this in PDF content)

  3. Start
    8831
    Prefix
    Генерация (на основании порождающей грамматики) ограниченного множества вариантов выполнения бизнес-процесса на основании набора его бизнес-функций с учетом ограничений. 5. Принятие решения по проектируемому бизнес-процессу. Оценка качества бизнес-процесса
    Exact
    [3]
    Suffix
    базируется на том, что составляющие его бизнес-функции должны быть как можно более независимы (критерий сцепления), и чтобы каждая из них выполняла единственную, связанную с общей задачей, подзадачу (критерий связности).
    (check this in PDF content)

  4. Start
    11030
    Prefix
    Если эти типы не устраивают, то определение приемлемых типов сцепления и связности с последующей коррекцией модели; • порождение вариантов бизнес-процесса, имеющих типы сцепления и связности не хуже заданных. Для целей тестирования бизнеспроцессов в
    Exact
    [3, 4]
    Suffix
    был предложен ряд критериев и стратегий тестирования, ориентированных на обнаружение наиболее типичных для предприятия Таблица 1 NoБизнес-функция Управление АвтобазаКарьерФабрика 1Формирование заявки на перевозки++–– 2Распределение транспортных средств+++– 3Выписка путевых листов++–– 4Технический контроль–+–– 5Движение по маршруту––++ 6Диспетчеризация погрузки––+– 7Фиксация объемов перевозки+
    (check this in PDF content)

  5. Start
    12825
    Prefix
    Переход от моделей бизнес-процессов к требованиям по их автоматизации (фактически, к функциональным требованиям к КИС – корпоративной информационной системе), как правило, осуществляется на неформальном уровне, сама модель требований не анализируется на предмет соответствия бизнес-процессам, а также с позиции общесистемных критериев качества. Предлагаемый в работе
    Exact
    [5]
    Suffix
    метод формирования и анализа требований к КИС частично обеспечивает решение перечисленных задач. Укрупненный алгоритм метода включает три этапа, кратко характеризуемых ниже. 1) Нагрузка графа бизнес-процесса компонентами КИС (формирование требований к КИС) – реализуется выделением узлов из множества N, соответствующих автоматизируемым функциям, начиная с самого нижнего уровня. 2) Постр
    (check this in PDF content)