Issn 411-1473 Современные информационные технологии и ит-образование Научный журнал Том (№11) Москва



Скачать 27,21 Mb.
Pdf просмотр
страница535/553
Дата06.10.2019
Размер27,21 Mb.
#79117
1   ...   531   532   533   534   535   536   537   538   ...   553
Калянов Г.Н.
Институт проблем управления РАН, д.т.н., профессор, E-mail: kalyanov@mail.ru
ФОРМАЛЬНЫЕ МЕТОДЫ ТЕОРИИ БИЗНЕС-ПРОЦЕССОВ
КЛЮЧЕВЫЕ СЛОВА
Процесс, бизнес-процесс, модель, инжиниринг/реинжиниринг, верификация, требования
по автоматизации.
АННОТАЦИЯ
Рассматриваются основные направления современной теории бизнес-процессов. По
каждому из направлений приводится краткий обзор его основных моделей и методов.
Введение
Теория бизнес-процессов является одним из направлений теории процессов, в свою очередь, представляющей собой “раздел математической теории программирования, изучающий математические модели поведения динамических систем, называемых процессами” [1]. В [1]
процесс определяется как “модель поведения, которое заключается в исполнении действий”.
Модели теории процессов хорошо подходят для изучения иерархических систем, включая организационные системы, их процессы и принято называть бизнес-процессами (БП).
Фактически в теории процессов процесс представлен диаграммой переходов состояний
(state transition diagram — STD), включающей такие объекты как состояние, начальное состояние,
переход, действие (но не включающей условия перехода между состояниями). Отличия от классической STD заключаются в наличие множества переменных процесса, начального условия процесса, использования операторов вместо действий (оператор — “схема действия,
приобретающая вид конкретного действия лишь при конкретном выполнении этого оператора”).
Теория обеспечивает формальное описание (а также анализ и верификацию) процессов с передачей сообщений, основанное на исчислении взаимодействующих систем Р.Милнера [2].
В качестве источников и предшественников теории процессов в [1] указываются следующие направления:
1.
Теория взаимодействующих последовательных процессов Хоара [3, 4], в которой исследуется модель взаимодействия синхронных параллельных процессов, основанная на передаче сообщений.
2.
Исчисление взаимодействующих систем Милнера [2], в котором введена денотационная семантика параллельных процессов, потоковый граф с синхронизированными портами,
при этом использована модель взаимодействия параллельных процессов Хоара.
3.
Алгебра взаимодействующих процессов [5] — теория первого порядка с равенством, в которой предметные переменные принимают значения в множестве процессов,
используются формальные символы, соответствующие операциям над процессами.
4.
Мобильные процессы (описывающие поведение распределенных систем, во время функционирования которых могут меняться связи между компонентами и структура самих компонентов), теория сетей Петри, теория частичных порядков, темпоральная логика, метрический подход (в котором исследуется понятие расстояния между процессами), синхронно и асинхронно взаимодействующие автоматы и др.

Скачать 27,21 Mb.

Поделитесь с Вашими друзьями:
1   ...   531   532   533   534   535   536   537   538   ...   553




База данных защищена авторским правом ©psihdocs.ru 2022
обратиться к администрации

    Главная страница