The 16 references with 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
Миронов А.М. Теория процессов // Переславль-Залесский: Университет г. Переславля, 2008.
Total in-text references: 1
  1. In-text reference with the coordinate start=1264
    Prefix
    Введение Теория бизнес-процессов является одним из направлений теории процессов, в свою очередь, представляющей собой «раздел математической теории программирования, изучающий математические модели поведения динамических систем, называемых процессами»
    Exact
    [1]
    Suffix
    . Формальный аппарат, лежащий в основе теории БП, базируется на следующих направлениях теории программирования: • формальные грамматики и языки; • параллельные процессы и методы распараллеливания; • теория тестирования; • методы оптимизации, верификации, анализа и оценки качества; • теория баз данных и баз знаний; • структурные методы анализа и проектирования.

2
Куприянов Б.В. Моделирование конвейерных бизнес-процессов // Сборник трудов «Управление большими системами» / М.: 2010, вып. 28, с. 230–273.
Total in-text references: 1
  1. In-text reference with the coordinate start=2220
    Prefix
    Типы и классы БП Имеется ряд классификаций БП (на основе их группирования по функциональному принципу, по назначению и т.д.), однако, их роль сводится лишь к помощи при структурировании бизнес-модели (фактически, на их основе строятся различные методики структурирования). В
    Exact
    [2]
    Suffix
    выделен специальный класс БП – «конвейерные» процессы, который существенно шире множества «классических» конвейеров, и позволяет при этом вычислять основные характеристики процесса (в том числе и те, которые нельзя вычислить с помощью имитационного моделирования). 3.

3
Калянов Г.Н. Теория и практика реорганизации бизнес-процессов // М.: СИНТЕГ, 2000.
Total in-text references: 7
  1. In-text reference with the coordinate start=2544
    Prefix
    В [2] выделен специальный класс БП – «конвейерные» процессы, который существенно шире множества «классических» конвейеров, и позволяет при этом вычислять основные характеристики процесса (в том числе и те, которые нельзя вычислить с помощью имитационного моделирования). 3. Модели БП В качестве формальной модели БП в работе
    Exact
    [3]
    Suffix
    предложен многоуровневый смешанный граф управления информационными объектами, бизнес-операциями и бизнес-функциями, содержащий различные типы узлов (функциональные, оргструктурные, ресурсные) и различные типы ребер (управляющих и информационных) для связей соответствующих узлов.

  2. In-text reference with the coordinate 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.

  3. In-text reference with the coordinate start=4929
    Prefix
    необходимого условия разбиения сквозного БП на цепочку взаимодействующих подпроцессов рассматривается смена объекта управления процесса, а в качестве достаточного условия выступает перегруппировка потоков управления, доказано соответствие критериям «правильной» декомпозиции модели бизнес-процесса, разработанным на основе анализа онтологической модели Бунге-Ванда-Вебера. В
    Exact
    [3]
    Suffix
    введены метрики оценки качества декомпозиции, базирующиеся на общих свойствах «хорошей» системы – сцепление (механизм взаимодействия между компонентами БП) и связность (механизм внутренней структурной организации компоненты), предложено и ранжировано множество типов сцепления и связности, разработан метод оценки качества, обеспечивающий для любого БП определение типа его сцепления и связно

  4. In-text reference with the coordinate start=6049
    Prefix
    Показана интеграционная парадигма инжиниринга предприятий, использующая методы стратегического инжиниринга на основе когнитивного и интеллектуального анализа данных, развития сервисно-ориентированных архитектур предприятий с использованием многоагентных технологий и онтологического инжиниринга предприятий. В
    Exact
    [3]
    Suffix
    предлагается формализованная методология инжиниринга/ реинжиниринга, интегрирующим ядром которой является вышеприведенная графовая модель БП. Центральное место в методологии занимает метод проектирования сценариев БП на основе аппарата формальных грамматик БП, позволяющий, с одной стороны, расширить число анализируемых сценариев выполнения бизнес-процесса вплоть до их полного перебора

  5. In-text reference with the coordinate start=6634
    Prefix
    проектирования сценариев БП на основе аппарата формальных грамматик БП, позволяющий, с одной стороны, расширить число анализируемых сценариев выполнения бизнес-процесса вплоть до их полного перебора, с другой стороны, автоматически отсечь большую часть сценариев, неприемлемых по ряду объективных и субъективных критериев. 7. Методы анализа и верификации В рамках метода тестирования
    Exact
    [3]
    Suffix
    предложена модель потоков данных БП, основанная на отношениях определения и использования информационных объектов при различных масках (определяющих, например, права доступа к данным). Предложенный метод тестирования позволяет обеспечить обнаружение специфических для бизнес-процессов ошибок в потоках данных, связанных с их обработкой под различными масками, обеспечивающими регламенты

  6. In-text reference with the coordinate start=7301
    Prefix
    для бизнес-процессов ошибок в потоках данных, связанных с их обработкой под различными масками, обеспечивающими регламенты доступа, не обнаруживаемых другими известными методами тестирования; а также обеспечить выявление всех тех ошибок, обнаружение которых может производится с помощью традиционных критериев, основанных на анализе графовых моделей объектов. Метод статического анализа
    Exact
    [3]
    Suffix
    обеспечивает автоматическое обнаружение ошибок в «статической семантике» БП. Динамический анализ на базе сетей Петри является наиболее развитым направлением в данном разделе теории БП. На практике обычно применяются сложные и развитые сети Петри – иерархические, цветные/раскрашенные, многоместные, параллельные и др.

  7. In-text reference with the coordinate start=8659
    Prefix
    от моделей БП к требованиям по автоматизации БП Одним из первых методов перехода от моделей БП к требованиям по их автоматизации являлся метод перехода от функциональной модели БП в виде иерархии DFD-диаграмм к структурным картам (моделям этапа проектирования системы автоматизации БП), предложенный в [16]. При этом исследования по оценке качества построенных моделей не проводились. В
    Exact
    [3]
    Suffix
    предложен метод формирования и анализа требований к системе автоматизации, основанный на модификации вышеприведенного графа БП. При этом исследование модели требований (редуцированного графа) и ее последующая оценка происходит по следующим направЭкономика, Статистика и Информатика21No4, 2016 лениям: расчет метрик сцепления и связанности, оценка соответствия модели БП, оценка по ряду критер

4
Gane C. Computer Aided Software Engineering: the Methodologies. N.J.: Prentice Hall, 1990.
Total in-text references: 1
  1. In-text reference with the coordinate 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, реализу

5
Hatley D., Pirbhai I. Integrated Structured Analysis and Design. N.Y.: Dorset House, 1987.
Total in-text references: 1
  1. In-text reference with the coordinate 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, реализу

6
Zachman J. A. A Framework for Information Systems Architecture // IBM Syst. J., 1987, vol. 26, No3, р. 276–292.
Total in-text references: 1
  1. In-text reference with the coordinate 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 к сети Пет

7
Зиндер Е.З. «3D-предприятие» – модель трансформирующейся системы // Директор ИС, 2000, No 4.
Total in-text references: 1
  1. In-text reference with the coordinate 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 к сети Петри.

8
Wand Y., Weber R. An Ontological Model of an Information System // IEEE Transactions on Software Engineering, 1990, Vol. 16, No 11, p. 1282–1292.
Total in-text references: 1
  1. In-text reference with the coordinate 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 к сети Петри.

9
Юдицкий С.А. Сценарный подход к моделированию поведения бизнес-систем // М.: СИНТЕГ, 2001.
Total in-text references: 2
  1. In-text reference with the coordinate 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 к сети Петри.

  2. In-text reference with the coordinate start=7690
    Prefix
    На практике обычно применяются сложные и развитые сети Петри – иерархические, цветные/раскрашенные, многоместные, параллельные и др. Из исследований в данном направлении необходимо отметить работы
    Exact
    [9, 10, 15]
    Suffix
    , позволяющие решать ряд дополнительных задач помимо решения традиционных задач в рамках классической теории сетей Петри (достижимость и т.д.). Методы оценки качества БП на базе метрик качества программного обеспечения разработаны магистрантами МФТИ в рамках подготовки магистерских диссертаций.

10
Юдицкий С.А., Владиславлев П.Н. Основы предпроектного анализа организационных систем // М.: СИНТЕГ, 2005.
Total in-text references: 2
  1. In-text reference with the coordinate 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 к сети Петри.

  2. In-text reference with the coordinate start=7690
    Prefix
    На практике обычно применяются сложные и развитые сети Петри – иерархические, цветные/раскрашенные, многоместные, параллельные и др. Из исследований в данном направлении необходимо отметить работы
    Exact
    [9, 10, 15]
    Suffix
    , позволяющие решать ряд дополнительных задач помимо решения традиционных задач в рамках классической теории сетей Петри (достижимость и т.д.). Методы оценки качества БП на базе метрик качества программного обеспечения разработаны магистрантами МФТИ в рамках подготовки магистерских диссертаций.

11
Дейт К. Дж. Введение в системы баз данных // М.: Вильямс, 2006.
Total in-text references: 1
  1. In-text reference with the coordinate start=3916
    Prefix
    No4, 201620 3) «Трансляция» моделей простейших видов в более «развитые», в частности, переход от IDEF0 или DFD к смешанному графу [3]. Среди формализованных технологий построения «правильной» модели следует отметить метод нормализации ERD c использованием нормальных форм Кодда
    Exact
    [11]
    Suffix
    , заключающейся в преобразовании схемы к наиболее простой 3НФ. 5. Методы структурирования/ декомпозиции В предложенном в [12] подходе процесс декомпозиции определяется как случайный процесс, доказывается возможность интерпретации процесса декомпозиции БП моделью ветвящегося процесса Гальтона-Ватсона, строится соответствующая вероятностная модель процесса декомпозиции, оцениваетс

12
Циперман Г.Н. Стохастическая модель процесса идентификации сервисов информационной системы // Труды ИСП РАН, 2014, т. 26, вып.5, с. 7–28.
Total in-text references: 1
  1. In-text reference with the coordinate start=4039
    Prefix
    Среди формализованных технологий построения «правильной» модели следует отметить метод нормализации ERD c использованием нормальных форм Кодда [11], заключающейся в преобразовании схемы к наиболее простой 3НФ. 5. Методы структурирования/ декомпозиции В предложенном в
    Exact
    [12]
    Suffix
    подходе процесс декомпозиции определяется как случайный процесс, доказывается возможность интерпретации процесса декомпозиции БП моделью ветвящегося процесса Гальтона-Ватсона, строится соответствующая вероятностная модель процесса декомпозиции, оценивается ожидаемое количество элементов функциональной модели БП, время проектирования сценариев (вариантов) БП, трудоемкость проек

13
Фёдоров И.Г. Методология создания исполняемой модели и системы управления бизнес-процессами // М.: МЭСИ, 2015.
Total in-text references: 1
  1. In-text reference with the coordinate start=4480
    Prefix
    как случайный процесс, доказывается возможность интерпретации процесса декомпозиции БП моделью ветвящегося процесса Гальтона-Ватсона, строится соответствующая вероятностная модель процесса декомпозиции, оценивается ожидаемое количество элементов функциональной модели БП, время проектирования сценариев (вариантов) БП, трудоемкость проектирования, глубина декомпозиции и т.п. В
    Exact
    [13]
    Suffix
    предложен метод построения модели БП, в котором в качестве необходимого условия разбиения сквозного БП на цепочку взаимодействующих подпроцессов рассматривается смена объекта управления процесса, а в качестве достаточного условия выступает перегруппировка потоков управления, доказано соответствие критериям «правильной» декомпозиции модели бизнес-процесса, разработанным на основе ан

14
Тельнов Ю.Ф. Реинжиниринг бизнес-процессов: компонентная методология // М.: Финансы и статистика, 2004.
Total in-text references: 1
  1. In-text reference with the coordinate start=5437
    Prefix
    взаимодействия между компонентами БП) и связность (механизм внутренней структурной организации компоненты), предложено и ранжировано множество типов сцепления и связности, разработан метод оценки качества, обеспечивающий для любого БП определение типа его сцепления и связности, а также проектирование БП с заданным типом сцепления и связности. 6. Методы инжиниринга/ реинжиниринга В
    Exact
    [14]
    Suffix
    предложен подход к инжинирингу предприятий на основе применения интеллектуальных технологий. Представлена эволюция этого направления в аспектах реинжиниринга и управления БП с использованием динамических интеллектуальных систем, имитационного моделирования и систем управления знаниями.

15
Mendling J., Reijers H., Van der Aalst W. Seven Process Modeling Guidelines // Information and Software Technology, 2010, Vol. 52, No 2, p. 127–136.
Total in-text references: 1
  1. In-text reference with the coordinate start=7690
    Prefix
    На практике обычно применяются сложные и развитые сети Петри – иерархические, цветные/раскрашенные, многоместные, параллельные и др. Из исследований в данном направлении необходимо отметить работы
    Exact
    [9, 10, 15]
    Suffix
    , позволяющие решать ряд дополнительных задач помимо решения традиционных задач в рамках классической теории сетей Петри (достижимость и т.д.). Методы оценки качества БП на базе метрик качества программного обеспечения разработаны магистрантами МФТИ в рамках подготовки магистерских диссертаций.

16
Гейн К., Сарсон Т. Системный структурный анализ: средства и методы // М.: Эйтекс, 1992.
Total in-text references: 1
  1. In-text reference with the coordinate start=8575
    Prefix
    Методы перехода от моделей БП к требованиям по автоматизации БП Одним из первых методов перехода от моделей БП к требованиям по их автоматизации являлся метод перехода от функциональной модели БП в виде иерархии DFD-диаграмм к структурным картам (моделям этапа проектирования системы автоматизации БП), предложенный в
    Exact
    [16]
    Suffix
    . При этом исследования по оценке качества построенных моделей не проводились. В [3] предложен метод формирования и анализа требований к системе автоматизации, основанный на модификации вышеприведенного графа БП.