The 20 reference contexts in paper Georgiy Kalyanov N., Георгий Калянов Николаевич (2016) “ТЕОРИЯ БИЗНЕС-ПРОЦЕССОВ: ФОРМАЛЬНЫЕ МОДЕЛИ И МЕТОДЫ // THE THEORY OF BUSINESS PROCESSES: FORMAL MODELS AND METHODS” / spz:neicon:statecon:y:2016:i:4:p:19-21

  1. Start
    1264
    Prefix
    Введение Теория бизнес-процессов является одним из направлений теории процессов, в свою очередь, представляющей собой «раздел математической теории программирования, изучающий математические модели поведения динамических систем, называемых процессами»
    Exact
    [1]
    Suffix
    . Формальный аппарат, лежащий в основе теории БП, базируется на следующих направлениях теории программирования: • формальные грамматики и языки; • параллельные процессы и методы распараллеливания; • теория тестирования; • методы оптимизации, верификации, анализа и оценки качества; • теория баз данных и баз знаний; • структурные методы анализа и проектирования.
    (check this in PDF content)

  2. Start
    2220
    Prefix
    Типы и классы БП Имеется ряд классификаций БП (на основе их группирования по функциональному принципу, по назначению и т.д.), однако, их роль сводится лишь к помощи при структурировании бизнес-модели (фактически, на их основе строятся различные методики структурирования). В
    Exact
    [2]
    Suffix
    выделен специальный класс БП – «конвейерные» процессы, который существенно шире множества «классических» конвейеров, и позволяет при этом вычислять основные характеристики процесса (в том числе и те, которые нельзя вычислить с помощью имитационного моделирования). 3.
    (check this in PDF content)

  3. Start
    2544
    Prefix
    В [2] выделен специальный класс БП – «конвейерные» процессы, который существенно шире множества «классических» конвейеров, и позволяет при этом вычислять основные характеристики процесса (в том числе и те, которые нельзя вычислить с помощью имитационного моделирования). 3. Модели БП В качестве формальной модели БП в работе
    Exact
    [3]
    Suffix
    предложен многоуровневый смешанный граф управления информационными объектами, бизнес-операциями и бизнес-функциями, содержащий различные типы узлов (функциональные, оргструктурные, ресурсные) и различные типы ребер (управляющих и информационных) для связей соответствующих узлов.
    (check this in PDF content)

  4. Start
    3119
    Prefix
    Разработаны алгоритмы трансляции традиционных моделей БП (на языках DFD, IDEF0 и др.) в смешанные графы и обратно. 4. Технологии моделирования Современные технологии моделирования БП базируются на следующих основных принципах: 1) Интеграция моделей различных видов, например, DFD-технология
    Exact
    [4, 5]
    Suffix
    (интегрирующая диаграммы DFD, CFD, ERD, STD и спецификации процессов в различных нотациях), схема Захмана [6] и развивающая ее модель «3D-предприятие» [7], онтологическая модель Бунге-Ванда-Вебера [8] и др. 2) «Трансляция» статических моделей в динамические (прежде всего, в сети Петри [9, 10]), в качестве примеров коммерческих реализаций можно привести продукты Design/IDEF–Design/CPN, реализу
    (check this in PDF content)

  5. Start
    3232
    Prefix
    Технологии моделирования Современные технологии моделирования БП базируются на следующих основных принципах: 1) Интеграция моделей различных видов, например, DFD-технология [4, 5] (интегрирующая диаграммы DFD, CFD, ERD, STD и спецификации процессов в различных нотациях), схема Захмана
    Exact
    [6]
    Suffix
    и развивающая ее модель «3D-предприятие» [7], онтологическая модель Бунге-Ванда-Вебера [8] и др. 2) «Трансляция» статических моделей в динамические (прежде всего, в сети Петри [9, 10]), в качестве примеров коммерческих реализаций можно привести продукты Design/IDEF–Design/CPN, реализующие переход от IDEF0 к сети Петри, а также продукты CPN-AMI и INCOME , реализующие переход от DFD к сети Пет
    (check this in PDF content)

  6. Start
    3277
    Prefix
    Технологии моделирования Современные технологии моделирования БП базируются на следующих основных принципах: 1) Интеграция моделей различных видов, например, DFD-технология [4, 5] (интегрирующая диаграммы DFD, CFD, ERD, STD и спецификации процессов в различных нотациях), схема Захмана [6] и развивающая ее модель «3D-предприятие»
    Exact
    [7]
    Suffix
    , онтологическая модель Бунге-Ванда-Вебера [8] и др. 2) «Трансляция» статических моделей в динамические (прежде всего, в сети Петри [9, 10]), в качестве примеров коммерческих реализаций можно привести продукты Design/IDEF–Design/CPN, реализующие переход от IDEF0 к сети Петри, а также продукты CPN-AMI и INCOME , реализующие переход от DFD к сети Петри.
    (check this in PDF content)

  7. Start
    3324
    Prefix
    Технологии моделирования Современные технологии моделирования БП базируются на следующих основных принципах: 1) Интеграция моделей различных видов, например, DFD-технология [4, 5] (интегрирующая диаграммы DFD, CFD, ERD, STD и спецификации процессов в различных нотациях), схема Захмана [6] и развивающая ее модель «3D-предприятие» [7], онтологическая модель Бунге-Ванда-Вебера
    Exact
    [8]
    Suffix
    и др. 2) «Трансляция» статических моделей в динамические (прежде всего, в сети Петри [9, 10]), в качестве примеров коммерческих реализаций можно привести продукты Design/IDEF–Design/CPN, реализующие переход от IDEF0 к сети Петри, а также продукты CPN-AMI и INCOME , реализующие переход от DFD к сети Петри.
    (check this in PDF content)

  8. Start
    3412
    Prefix
    на следующих основных принципах: 1) Интеграция моделей различных видов, например, DFD-технология [4, 5] (интегрирующая диаграммы DFD, CFD, ERD, STD и спецификации процессов в различных нотациях), схема Захмана [6] и развивающая ее модель «3D-предприятие» [7], онтологическая модель Бунге-Ванда-Вебера [8] и др. 2) «Трансляция» статических моделей в динамические (прежде всего, в сети Петри
    Exact
    [9, 10]
    Suffix
    ), в качестве примеров коммерческих реализаций можно привести продукты Design/IDEF–Design/CPN, реализующие переход от IDEF0 к сети Петри, а также продукты CPN-AMI и INCOME , реализующие переход от DFD к сети Петри.
    (check this in PDF content)

  9. Start
    3764
    Prefix
    (прежде всего, в сети Петри [9, 10]), в качестве примеров коммерческих реализаций можно привести продукты Design/IDEF–Design/CPN, реализующие переход от IDEF0 к сети Петри, а также продукты CPN-AMI и INCOME , реализующие переход от DFD к сети Петри. No4, 201620 3) «Трансляция» моделей простейших видов в более «развитые», в частности, переход от IDEF0 или DFD к смешанному графу
    Exact
    [3]
    Suffix
    . Среди формализованных технологий построения «правильной» модели следует отметить метод нормализации ERD c использованием нормальных форм Кодда [11], заключающейся в преобразовании схемы к наиболее простой 3НФ. 5.
    (check this in PDF content)

  10. Start
    3916
    Prefix
    No4, 201620 3) «Трансляция» моделей простейших видов в более «развитые», в частности, переход от IDEF0 или DFD к смешанному графу [3]. Среди формализованных технологий построения «правильной» модели следует отметить метод нормализации ERD c использованием нормальных форм Кодда
    Exact
    [11]
    Suffix
    , заключающейся в преобразовании схемы к наиболее простой 3НФ. 5. Методы структурирования/ декомпозиции В предложенном в [12] подходе процесс декомпозиции определяется как случайный процесс, доказывается возможность интерпретации процесса декомпозиции БП моделью ветвящегося процесса Гальтона-Ватсона, строится соответствующая вероятностная модель процесса декомпозиции, оцениваетс
    (check this in PDF content)

  11. Start
    4039
    Prefix
    Среди формализованных технологий построения «правильной» модели следует отметить метод нормализации ERD c использованием нормальных форм Кодда [11], заключающейся в преобразовании схемы к наиболее простой 3НФ. 5. Методы структурирования/ декомпозиции В предложенном в
    Exact
    [12]
    Suffix
    подходе процесс декомпозиции определяется как случайный процесс, доказывается возможность интерпретации процесса декомпозиции БП моделью ветвящегося процесса Гальтона-Ватсона, строится соответствующая вероятностная модель процесса декомпозиции, оценивается ожидаемое количество элементов функциональной модели БП, время проектирования сценариев (вариантов) БП, трудоемкость проек
    (check this in PDF content)

  12. Start
    4480
    Prefix
    как случайный процесс, доказывается возможность интерпретации процесса декомпозиции БП моделью ветвящегося процесса Гальтона-Ватсона, строится соответствующая вероятностная модель процесса декомпозиции, оценивается ожидаемое количество элементов функциональной модели БП, время проектирования сценариев (вариантов) БП, трудоемкость проектирования, глубина декомпозиции и т.п. В
    Exact
    [13]
    Suffix
    предложен метод построения модели БП, в котором в качестве необходимого условия разбиения сквозного БП на цепочку взаимодействующих подпроцессов рассматривается смена объекта управления процесса, а в качестве достаточного условия выступает перегруппировка потоков управления, доказано соответствие критериям «правильной» декомпозиции модели бизнес-процесса, разработанным на основе ан
    (check this in PDF content)

  13. Start
    4929
    Prefix
    необходимого условия разбиения сквозного БП на цепочку взаимодействующих подпроцессов рассматривается смена объекта управления процесса, а в качестве достаточного условия выступает перегруппировка потоков управления, доказано соответствие критериям «правильной» декомпозиции модели бизнес-процесса, разработанным на основе анализа онтологической модели Бунге-Ванда-Вебера. В
    Exact
    [3]
    Suffix
    введены метрики оценки качества декомпозиции, базирующиеся на общих свойствах «хорошей» системы – сцепление (механизм взаимодействия между компонентами БП) и связность (механизм внутренней структурной организации компоненты), предложено и ранжировано множество типов сцепления и связности, разработан метод оценки качества, обеспечивающий для любого БП определение типа его сцепления и связно
    (check this in PDF content)

  14. Start
    5437
    Prefix
    взаимодействия между компонентами БП) и связность (механизм внутренней структурной организации компоненты), предложено и ранжировано множество типов сцепления и связности, разработан метод оценки качества, обеспечивающий для любого БП определение типа его сцепления и связности, а также проектирование БП с заданным типом сцепления и связности. 6. Методы инжиниринга/ реинжиниринга В
    Exact
    [14]
    Suffix
    предложен подход к инжинирингу предприятий на основе применения интеллектуальных технологий. Представлена эволюция этого направления в аспектах реинжиниринга и управления БП с использованием динамических интеллектуальных систем, имитационного моделирования и систем управления знаниями.
    (check this in PDF content)

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

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

  17. Start
    7301
    Prefix
    для бизнес-процессов ошибок в потоках данных, связанных с их обработкой под различными масками, обеспечивающими регламенты доступа, не обнаруживаемых другими известными методами тестирования; а также обеспечить выявление всех тех ошибок, обнаружение которых может производится с помощью традиционных критериев, основанных на анализе графовых моделей объектов. Метод статического анализа
    Exact
    [3]
    Suffix
    обеспечивает автоматическое обнаружение ошибок в «статической семантике» БП. Динамический анализ на базе сетей Петри является наиболее развитым направлением в данном разделе теории БП. На практике обычно применяются сложные и развитые сети Петри – иерархические, цветные/раскрашенные, многоместные, параллельные и др.
    (check this in PDF content)

  18. Start
    7690
    Prefix
    На практике обычно применяются сложные и развитые сети Петри – иерархические, цветные/раскрашенные, многоместные, параллельные и др. Из исследований в данном направлении необходимо отметить работы
    Exact
    [9, 10, 15]
    Suffix
    , позволяющие решать ряд дополнительных задач помимо решения традиционных задач в рамках классической теории сетей Петри (достижимость и т.д.). Методы оценки качества БП на базе метрик качества программного обеспечения разработаны магистрантами МФТИ в рамках подготовки магистерских диссертаций.
    (check this in PDF content)

  19. Start
    8575
    Prefix
    Методы перехода от моделей БП к требованиям по автоматизации БП Одним из первых методов перехода от моделей БП к требованиям по их автоматизации являлся метод перехода от функциональной модели БП в виде иерархии DFD-диаграмм к структурным картам (моделям этапа проектирования системы автоматизации БП), предложенный в
    Exact
    [16]
    Suffix
    . При этом исследования по оценке качества построенных моделей не проводились. В [3] предложен метод формирования и анализа требований к системе автоматизации, основанный на модификации вышеприведенного графа БП.
    (check this in PDF content)

  20. Start
    8659
    Prefix
    от моделей БП к требованиям по автоматизации БП Одним из первых методов перехода от моделей БП к требованиям по их автоматизации являлся метод перехода от функциональной модели БП в виде иерархии DFD-диаграмм к структурным картам (моделям этапа проектирования системы автоматизации БП), предложенный в [16]. При этом исследования по оценке качества построенных моделей не проводились. В
    Exact
    [3]
    Suffix
    предложен метод формирования и анализа требований к системе автоматизации, основанный на модификации вышеприведенного графа БП. При этом исследование модели требований (редуцированного графа) и ее последующая оценка происходит по следующим направЭкономика, Статистика и Информатика21No4, 2016 лениям: расчет метрик сцепления и связанности, оценка соответствия модели БП, оценка по ряду критер
    (check this in PDF content)