Теория бизнес-процессов

Оглавление

Введение
Литература к введению

1. Математические основы теории бизнес-процессов
1.1. Предварительные математические сведения
1.1.1. Основные понятия теории множеств
1.1.2. Основные понятия теории графов
1.1.3. Некоторые понятия математической логики
1.1.4. Алгоритмы
1.2. Элементы теории языков
1.2.1. Введение в теорию формальных языков и грамматик
1.2.2. Pегулярные выражения и конечные автоматы
1.3. Основы реляционного моделирования
1.3.1. Pеляционная модель
1.3.2. Pеляционная алгебра
1.3.3. Нормальные формы
Литература к главе 1

2. Методы программной инженерии
2.1. Структурные и объектно-ориентированные методы анализа и проектирования
2.1.1. Принципы структурного и объектно-ориентированного анализа систем
2.1.2. Концептуальная модель объектно-ориентированного подхода
2.1.3. Концептуальная модель структурного подхода
2.2. Параллельные вычисления
2.2.1. Языковые средства описания параллельных процессов
2.2.2. Методы распараллеливания последовательных программ
2.3. Методы достижения корректности
2.3.1. Тестирование
2.3.2. Верификация
2.3.3. Статический анализ
2.4. Основы теории зависимости по данным
Литература к главе 2

3. Типы и классы бизнес-процессов
3.1. Понятие архитектуры современного предприятия
3.2. Процессная модель предприятия
3.3. Классификация бизнес-процессов
3.4. Жизненный цикл бизнес-процесса
Литература к главе 3

4. Визуальные языки моделирования бизнес-процессов
4.1. Функциональное моделирование
4.1.1. Диаграммы потоков данных
4.1.2. Диаграммы потоков управления
4.1.3. SADT-диаграммы и стандарт IDEF0
4.2. Информационное моделирование
4.2.1. Диаграммы «сущность-связь»
4.2.2. Словари данных
4.2.3. Структурограммы описания данных
4.3. Моделирование поведения
4.3.1. Диаграммы переходов состояний
4.3.2. IDEF3-диаграммы
4.3.3. eЕPC-диаграммы
4.3.4. Нотация BPMN
4.4. Схематическое представление бизнес-процессов
4.4.1. Структурные карты
4.4.2. Схемы бизнес-процессов
4.5. Диаграммы UML для моделирования бизнес-процессов
4.6. Формальные модели бизнес-процессов
4.6.1. Смешанные графы
4.6.2. Сети Петри
4.7. Модель BWW как средство оценки качества языка моделирования
Литература к главе 4

5. Технологии моделирования
5.1. Интеграционные технологии
5.1.1. DFD/CFD-технология
5.1.2. Семейство стандартов IDEF
5.1.3. Технология RUP
5.1.4. Схема Захмана
5.2. Трансляционные технологии
5.2.1. Переход от функциональной модели к сети Петри
5.2.2. Переход отф ункциональной модели к смешанному графу
5.2.3. Переход отф ункциональной к информационной модели
5.2.4. Переход отмо делей бизнес-процессов к требованиям по их автоматизации
Литература к главе 5

6. Методы инжиниринга бизнес-процессов
6.1. Планирование (проектирование) бизнес-процессов
6.1.1. Грамматика бизнес-процесса и порождение его вариантов
6.1.2. Оценка возможных вариантов выполнения бизнес-процесса
6.1.3. Пример планирования бизнес-процесса
6.2. Оценка качества бизнес-процессов
6.2.1. Критерий сцепления бизнес-процесса
6.2.2. Критерий связности бизнес-процесса
6.2.3. Алгоритм определения типа связности
6.2.4. Порождение вариантов выполнения бизнес-процесса с учетом типа связности
6.3. Методы декомпозиции моделей
6.3.1. Принципы структурирования предприятия
6.3.2. Критерий глубины детализации функциональной модели
6.3.3. Выявление базовых накопителей данных для функциональной модели
Литература к главе 6

7. Методы анализа и верификации
7.1. Тестирование бизнес-процессов
7.1.1. Специфика тестирования бизнес-процессов
7.1.2. Модель потоков данных бизнес-процесса
7.1.3. Критерии тестирования бизнес-процессов
7.1.4. Генерация маршрутов тестирования
7.2. Анализ бизнес-процессов
7.2.1. Статический анализ потоков данных бизнес-процессов
7.2.2. Динамический анализ бизнес-процессов с использованием аппарата сетей Петри
7.2.3. Функционально-стоимостной анализ бизнес-процессов
Литература к главе 7

8. Параллельные бизнес-процессы
8.1. Направления работв области параллелизма бизнес-процессов
8.2. Параллельные языки
8.2.1. Модель и языковые средства организации параллельных независимых ветвей (процессов)
8.2.2. Язык моделирования конвейерных БП
8.3. Методы распараллеливания БП
8.4. Организация параллелизма при планировании бизнес-процессов
Литература к главе 8

Заключение

Литература

Приложение. Пример применения метода перехода от моделей бизнес-процессов к требованиям по их автоматизации