- •Введение
- •Глава 1. Основные понятия теории моделирования
- •1.1. Классификация видов моделирования
- •1.2. Жизненный цикл компьютерной модели
- •1.3. Вычислительный эксперимент
- •1.4. Наиболее известные методологии и системы компьютерного моделирования
- •1.4.1. Универсальные системы моделирования
- •1.4.2.Системы моделирования бизнес-процессов
- •1.5. О моделировании вычислительных систем
- •Глава 2. Введение в сети Петри
- •2.1. Обыкновенные сети Петри
- •2.1.1. Формальное определение
- •2.1.2. Графы сетей Петри
- •2.1.3. Пространство состояний сети Петри
- •2.1.4. Основные свойства сетей Петри
- •2.1.5. Некоторые обобщения сетей Петри
- •Инварианты сетей Петри
- •2.2. Раскрашенные (цветные) сети Петри
- •2.2.1. Мультимножества
- •2 2.2. Формальное определение cpn
- •2.2.3. Функционирование cpn
- •2.2.4. Расширения cpn
- •2.2.5. Сравнение формализмов обыкновенных и раскрашенных сетей Петри
- •2.2.6. О моделирующих возможностях сетей Петри.
- •2.3. Моделирование дискретных систем
- •2.3.1. Моделирование вычислительных систем
- •1. Простейшая система массового обслуживания.
- •2.3.2. Моделирование программ
- •1. Последовательная модель программирования
- •2. Модель параллелизма данных
- •3. Моделирование некоторых структур параллельного программирования. Семафоры
- •4. Метод асинхронного программирования
- •3 Моделирование протоколов передачи данных
- •1. Описание работы протокола
- •3. Временной механизм работы cpn
- •4. Описание работы cpn
- •2.3.4. Об исследовании сетей Петри с помощью эвм
- •Глава 3. Моделирование вычислительных Процессов с помощью цепей Маркова
- •3.1. Определение цепи Маркова
- •3.3. Классификация состояний цепей Маркова
- •3.4. Оценка длительности пребывания процесса в множестве невозвратных состояний
- •3.5. Исследование динамики цепей Маркова при большом числе шагов
- •4.1. Задачи и упражнения по главе 2
- •4.2. Задачи и упражнения по главе 3
- •1. Запуск программы и построение графа сети Петри
- •2. Задание цветовых множеств, переменных и начальной маркировки
- •Библиографический список
- •Глава 1.Основные понятия теории моделирования 5
- •Глава 2 Введение в сети Петри 21
- •Глава 4. Задания для самостоятельной работы 148
- •Глава 5. Лабораторный практикум 162
1.4.2.Системы моделирования бизнес-процессов
В настоящее время существуют множество моделей, описывающих различного рода производственную и коммерческую деятельность (бизнес-процессы) [4,5]. Эти модели используются для решения различных задач: определения средней загрузки оборудования, потребных производственных мощностей, управления транспортом и т.д. Для целей автоматизации используются типы моделей, наиболее полная классификация которых содержится в стандартах IDEF (Integrated Computer Automated Manufacturing DEFinition).
IDEF представляет собой семейство методов и технологий для. создания моделей сложных систем и проектирования их компьютерной реализации. Всего имеется 14 стандартов, в их числе:
IDEFO — Моделирование функций;
IDEF1 — Информационное моделирование;
IDEF 1X — Моделирование данных;
IDEF2 — Динамическое моделирование;
IDEF3 — Описание процессов;
IDEF4 — Объектно-ориентированные методы проектирования;
IDEF8 — Интерфейс пользователя:
IDEF10 — Техническое проектирование;
IDEF14 — Проектирование вычислительных сетей. Начало семейству стандартов положил стандарт IDEFO, разработанный на основе технологии моделирования, известной как SADT (Structured Analysis & Design Technique). В области создания моделей предприятия стандарты IDEF выполняют такую же роль, как модель стека протоколов OSI в области создания сетей и приложений.
Другая широко используемая методология структурного анализа и моделирования описывает бизнес-процессы в виде иерархии потоков данных (ДПД), в англоязычной литературе -Data Flow Diagrams (DFD).
Объектно-ориентированные системы моделирования. Среди систем моделирования бизнес-процессов в последнее время получили распространение системы, основанные на объектном подходе. Наиболее известная методология объектно-ориентированного моделирования реализована с помощью языка моделирования UML (Unified Modeling Language). Унифицированный язык моделирования UMH представляет собой универсальный язык, позволяющий одновременно с анализом создавать документацию для проектирования сложных иерархических систем, которая позволяет в дальнейшем создавать работоспособный код на любом из языков программирования. Используя UML, можно содержательно описывать классы, объекты и компоненты, принадлежащие различным предметным областям. Этот язык объектно-ориентирован, однако не привязан к какому-либо объектно-ориентированному языку программирования. Разработанную в UML модель можно воплотить на любом существующем языке; поддерживающем объектно-ориентированную технологию.
Система MVS основана на методологии языка UML.
Для создания динамических моделей широкого круга процессов большое распространение в настоящее время получили методы, основанные на применении сетей Петри и конечных автоматов. Иногда для этих целей используются моделирующие системы, в которых применяются динамические элементы различной природы, например, описываемые системами обыкновенных нелинейных дифференциальных уравнений. Часто используются вероятностные методы, теория Цепей Маркова, теория систем массового обслуживания и другие.