Автореферат (1152222), страница 3
Текст из файла (страница 3)
Его прикладная ценностьзаключается в том, что аналитик получает мощный инструмент выявления бизнес-логики процесса, может самостоятельно, без помощи эксперта предметной области, выявить все точкиветвления процесса, что помогает избежать зависимости от желания и способности экспертапредметной области раскрыть детали процесса, избавиться от субъективизма, связанного с квалификацией и опытом аналитика. Полученная в результате выявления модель оказываетсяиерархически структурированной, поэтому она окажется удобной для понимания разными категориями пользователей. Для представителей бизнеса, которых не интересуют мелкие детали,окажутся интересными верхние уровни иерархии.
Для технологов и экспертов, напротив, будутинтересны детализация уровней операций и действий.7.Адаптированы принципы генерализации и агрегации применительно к исполняемой мо-дели бизнес-процесса, постулирующий упрощение модели не за счёт отбрасывания деталей, но11путём их инкапсуляции на нижних уровнях декомпозиции. отличающийся тем, что используетметоды агрегации и обобщения, позволяющие выявлять на модели процесса похожие работы,объединять их в процедуры, инкапсулирующие найденные различия. Разработаны практические рекомендации по выявлению сходства и отличия работ процесса (с. 204-206).8.С позиций системной методологии формализован метод выявления и анализа цели це-почки процессов, заключающийся в (а) выявлении допустимых состояний объекта управлениядля каждого из процессов, образующих цепочку; (б) формулировании требований к целевымсостояниям объекта управления и к работам, при помощи которых достигаются эти состояние,отличающийся тем, что явно разделяются операционная и бизнес цели, где первая определяетожидаемый результат исполнения каждого из подпроцессов цепочки, а вторая — экономический результат, достигаемый при выполнении всей цепочки (с.
207-214).III.Предложены новые методы проектирования, разработки и сопровождения про-цессно-ориентированных информационных систем:9.Разработан оригинальный метод проектирования организационной перспективы моделибизнес-процесса, отличающийся тем, что: (а) выделены типовые операционные и организационные функции участников; (б) систематизированы их операционные и организационные полномочия; (в) разработан типовой шаблон взаимодействия сотрудников структурного подразделения компании; (г) предложены абстрактные роли участников, позволяющие не привязыватьтиповой шаблон к конкретной штатной структуре; (д) разработан алгоритм выбора потенциальных кандидатов и актуального исполнителя операции процесса, отличием которого являетсяпоследовательное сужения круга кандидатов, что позволяет учесть все возможные бизнес ограничения и реализовать его в среде нотации BPMN 2.0. Особенностью метода является то, что оносновывается на ролевой модели управления доступом (с.
231-246).Практическая значимость метода заключается в том, что он позволяет описать организационное взаимодействие участников бизнес-процесса в модели, а не в программном коде, внедрённом в исполняемую модель бизнес-процесса, благодаря чему исполняемая модель бизнеспроцесса не теряет свойства моделе-ориентированности. Для базовых механизмов организационного взаимодействия разработан способ их реализации в модели бизнес-процесса и найденаточка привязки к модели. Методологическая значимость результата заключается в том, чтопроведена гармонизация понятийного аппаратов процессного управления и теории организационного менеджмента, систематизированы и унифицирована базовые термины.10.Разработан метод отображения ролевой перспективы модели бизнес-процесса на органи-зационную структуру компании, отличающийся тем, что роль участника рассматривается в качестве промежуточного логического слоя модели процесса, который связывает диаграмму потоков работ и организационно-штатную структуру компании, что делает модель процесса инва-12риантной изменениям штатного расписания или распределения ответственности.
Показано, чтосуществующая сегодня практика подмены роли должностью, названием организационногоподразделения или именем сотрудника делает модель не гибкой, привязывает её к конкретнойорганизационной структуре (с. 246-257).11.Предложена авторская концепция интегрированной исполняемой модели бизнес-про-цесса, которая состоит из нескольких взаимосвязанных субмоделей, называемых перспективами, каждая из которых отображает отдельные аспекты структуры процесса, а все вместе ониспособны отобразить динамику его поведения, отличающаяся набором перспектив и их аспектов, а также тем, что связи между одноименными элементами на разных моделях, образующихэти перспективы, реализуются на уроне данных, а не на уровне ссылок (с.
258-269).IV.Разработаны и развиты теоретические и методологические основы формализованного отображения процессов в виде информационных и компьютерных моделей:12.Адаптирована к описанию исполняемых моделей бизнес-процессов онтология верхнегоуровня Бунге-Ванда-Вебера, отличающаяся тем, что: (а) события отражают не только факт, но имомент времени наступления состояния, что открывает возможность анализировать процесс спозиций темпоральной логики; (б) обосновано различие между внутренними и внешними событиями, первые отмечают момент времени, когда работа может начаться, а вторые — когда работа реально начинает исполняться, что позволяет учесть причинно-следственные связи в условиях времени; (в) показано, что трансформация обозначает не только работы процесса, преобразующие вход в выход, но также работы, маршрутизирующие поток управления процесса, чтопозволяет включить в рассмотрение логические операторы бизнес-процесса (с.
133-142).13.Предложен метод преодоления дефицита выразительности языков создания исполняе-мых моделей бизнес-процессов, предполагающий использовать согласованный набор диаграмм,каждая из которых в отдельности показывает ограниченное число концептов онтологии БунгеВанда-Вебера, а вместе они способны обеспечить полное исчерпывающее и согласованное описание всех концептов. Сформулирован критерий выбора языков и нотаций моделирования бизнес-процесса, заключающийся в том, чтобы отобранный набор диаграмм в совокупности моготобразить все концепты онтологии. Установлено наличие дефицита выразительной способности различных языков и нотаций, используемых для создания исполняемых моделей бизнеспроцессов, проявляющегося в том, что ни одна из известных нотаций не позволяет отобразитьодновременно все концепты онтологии Бунге-Ванда-Вебера, а только их часть (с.
169-182).14.Предложен принцип декомпозиции модели бизнес-процесса, отличающийся тем, что ра-боты и данные процесса разделяются согласованно, а не по-отдельности, группируются в подпроцессы с учётом взаимосвязи по работам и данным, причём сцепление подпроцессов рассматривается как взаимная зависимость подпроцессов, а связность как степень совпадения со-13единяющих их потоков управления и данных. Сформулированы регулирующие принципы декомпозиции модели бизнес-процесса, отличающиеся тем, что разделены понятия корректности(бездефектности и безызбыточности) и годности к умственному восприятию, что гарантирует,полученная модель будет правильно отображать реальность, не потеряет свойств, важных дляцелей моделирования, не добавит новых, которые могут исказить модель (с. 164-169).15.Обоснован критерий нормального завершения процесса, отличающийся тем, что он применимк моделям, имеющим несколько начальных событий и несколько завершающих, что даёт возможность проверить корректность исполняемых моделей бизнес-процессов в нотации BPMN (с.
190-193).V.Разработан метод выявления формальных ошибок логики процесса:16.Предложены BP-сети, получаемые методом структурно-эквивалентного отображениямодели процесса в нотации BPMN в сети Петри, отличающиеся от известных WF-сетей тем, чтомогут иметь по несколько альтернативных стартовых и завершающих переходов.
Доказанысвойства BP-сети, которые являются чистыми (pure) — не имеют петель, относятся к классу сетей свободного выбора (free choice). В качестве критерия бездефектности модели процессапредлагается использовать свойства реверсивности и консервативности, а не свойства живостии безопасности, для сетей свободного выбора установлено условие, при котором выполнениесвойств реверсивности и консервативности эквивалентно безопасности и живости (с. 303-304);17.Создан аналитический метод верификации исполняемой модели процесса на наличиеформальных ошибок бизнес логики, заключающийся в проверке существования неотрицательных P- и T-инвариантов BP-сети, что является необходимым и достаточным условиями бездефектного завершения процесса, имеющий меньшую вычислительную сложность, чем альтернативный метод проверки путём построения дерева достижимости WF-сети (с.