Диссертация (1152223), страница 47

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 47)

Если жемы захотим моделировать динамическое поведение процесса, то необходимо добавить диаграмму, отображающую темпоральную привязку событий процесса. Например, если мы планируем использовать нотацию BPMN, которая не позволяет отобразить структуру объекта и егосостояния, приобретаемые по ходу обработки, аналитик должен выбрать дополняющие диаграммы таким образом, чтобы полностью покрыть весь набор концептов.Метод преодоления дефицита выразительностиПроведённый анализ выявил проблему дефицита выразительных возможностей языков инотаций моделирования бизнес-процессов. Ни одна из рассмотренных нотаций или языков моделирования в отдельности не позволяет изобразить сразу все сущности модели Бунге-ВандаВебера, а только их часть.

Можно сделать вывод, что модель бизнес-процесса должна быть образована из нескольких частных моделей (слоёв или перспектив), каждая из которых показывает отдельные аспекты исполнения процесса, а все вместе они образуют единое интегрированноепредставление, дающее исчерпывающее описание динамики действий участников организационной системы.

Таким образом, получает теоретическое обоснование подход Б. Кёртиса, который эмпирически ввёл разделение процесса на набор перспектив: функциональную, поведенческую, информационную и организационную [210].Чтобы преодолеть дефицит выразительности языков и нотаций моделирования в работепредлагается проводить согласованное моделирование процесса в нескольких моделях, максимально интегрировать частные модели. Это предложение существенно обогащает подход к моделированию бизнес-процессов, т.к.

большинство аналитиков понимают модель бизнеса упрощённо, как описание последовательности работ. Как результат, аналитики часто совершают двеошибки. Либо не включают в модель функциональную, информационную и организационнуюперспективы, что делает модель неполной, либо включают соответствующие данные в поведенческую перспективу, что перегружает модель деталями и делает её сложной для понимания,кроме того, привязывает модель к конкретной информационной или организационной структу-181ре, что делает модель сложно изменяемой.Определим практическую процедуру выбора нотации моделирования бизнес-процесса.Дело в том, что современные средства моделирования бизнес-процессов (ARIS, IBM RationalRose) позволяют моделирование в десятках нотаций каждое, причём выбор конкретной нотацииприято осуществлять с учётом личных предпочтений или опыта аналитика.

Теперь мы можемсформулировать правило - выбор аналитиком совокупности диаграмм может осуществляться наоснове личных предпочтений, но обязательно таким образом, чтобы выбранные диаграммыполностью покрывали все концепты онтологии.Научная новизна и практическая ценность метода преодоления дефицита выразительностиязыков и нотаций, используемых для создания исполняемой модели бизнес-процессаУдалось установить, что в нотации BPMN присутствует дефицит выразительности приопределении следующих аспектов моделирования процесса: (а) стрелки на диаграмме специфицируют поток управления, но не определяют информационный объект, который формирует этотпоток; (б) присутствует двусмысленность при изображении информационных потоков; (в) нотация не специфицирует, что у процесса может быть только одно стартовое событие; (г) стандартне специфицирует работу с данными логического узла «И», поэтому разные реализации программных продуктов на базе данного стандарта по-разному реализуют семантику этого узла.Если рассматривать сквозной процесс, можно утверждать, что совокупность подпроцессов, образованная путём декомпозиции этого сквозного процесса, формирует один отклик навыходе.

Однако цепочка процессов, полученная путём композиции нескольких подпроцессов,может формировать несколько откликов на выходе.Хотя факт наличия дефицита выразительной способности отдельных языков и нотациймоделирования бизнес-процессов был ранее известен, вопрос о способах преодоления дефицитане исследовался. Особенность проведённого исследования заключается в том, что с использованием представления Бунге-Ванла-Вебера выявлен набор базовых диаграмм, которые в совокупности моделируют поведение всех концептов онтологической модели бизнес-процесса. Можноговорить, что модель процесса есть комплексное представление, образованное несколькимислоями (проекциями), каждый из которых описывает отдельные аспекты системы, а все вместеони описывают динамику её поведения.

Можно, например, утверждать, что диаграмма процесса в нотации EPC является одной из проекций комплексной интегрированной модели бизнеспроцесса.Практическая ценность определяется тем, что для преодоления дефицита выразительности языков и нотаций моделирования бизнес-процессов предложен метод, предполагающий использование согласованного набора диаграмм, каждая из которых в отдельности показывает182ограниченное число концептов онтологии, а все вместе они способны обеспечить полное исчерпывающее и согласованное описание бизнес-процесса. Таким образом, мы определили требования к модели бизнес-процесса, придерживаясь которых аналитик сможет создавать моделиадекватные цели создания исполняемой модели бизнес-процесса. Сформулирован критерий выбора языков и нотаций моделирования бизнес-процесса, заключающийся в том, чтобы отобранный набор диаграмм в совокупности мог отобразить все концепты онтологический модели, который применим для разработки моделей бизнес-процессов в таких средах моделирования какUML и ARIS.Полученные результаты существенно изменяют наши представления об основополагающих свойствах процесса.

С одной стороны, мы сужаем область применимости результатовтолько теми процессами, которые генерируют один отклик на выходе на каждое входное воздействие. С другой — мы теоретически обосновываем свойства, которые имеют высокую практическую ценность для анализа корректности модели бизнес-процесса, доказательство основывается на анализе онтологических допущений, полученных путём анализа онтологии БунгеВанда-Вебера.

Полученный результат будет использован при разработке аналитического метода формальной проверки нормальной завершаемости модели бизнес-процесса.3.5Синтаксис и семантика исполняемых моделей бизнес-процессовСегодня руководства по языкам UML и BPMN связывают стандартизацию синтаксиса,семантики и прагматики модели с метамоделью, которая описывает требуемые свойства припомощи языка обмена метаданными XMI [225], хотя известно, что метамодель не является нисинтаксисом, ни семантикой языка моделирования [226].

Практики BPMN предлагают эмпирические правила стиля и метода моделирования [227], при этом остаётся не ясно, что они описывают – синтаксис или семантику, могут ли эти рекомендации быть теоретически обоснованы?До сих пор не решен вопрос, какой математический формализм следует использовать для описания поведения исполняемых моделей бизнес-процессов, так что часть специалистов считают,что в основе исполняемых моделей лежит формализм машины состояний, тогда как другие уверены, что в основе моделей лежит формализм сетей Петри [228]. Таким образом, вопрос теоретического обоснования синтаксиса, семантики и прагматики визуальных исполняемых моделейявляется актуальным.

Целью данной работы является теоретическое обоснование синтаксиса,семантики и прагматики визуальных исполняемых моделей.183Синтаксис и семантика в исследованиях Д. Харела и Б. РумпеПо мнению Д. Харела и Б, Румпе синтаксис определяет правила, связывающие отельныезнаки, принадлежащие к алфавиту языка, в лексически правильные конструкции и выражения,тогда как семантика определяет смысл высказывания [229], [226]. Они различают текстовые ииконические языки.

Алфавит первых состоит из букв, которые соединяются в слова, передающиесмысл, тогда как в иконических языках каждый знак обозначает отдельное понятие, так что синтаксис определяет правила, связывающие знаки в законченную, правильно структурированнуюмодель. Семантика, по определению Д. Харел и Б.

Румпе, включает семантический домен и семантическое отображение как показано на рисунке 3.30. Семантический домен перечисляет всеконцепты, которые лежат в основе формализма представления модели бизнес процесса. Авторыделают очень интересное замечание о том, что семантический домен, образованный концептами,может быть использован для сравнения языков и нотаций моделирования, но дальше эту мысльне развивают.

К сожалению, они не объясняют, как можно описать семантический домен, поэтому его практическое применение остаётся неясно. Семантическое отображение связывает домен ссоответствующей предметной областью моделирования, которую иначе называют универсумдискурса. Правила построения семантического отображения авторы не приводят. Они отмечают,что большинство компьютерных средств разработки приложений позволяют проверять синтаксиссоответствующего языка, тогда как смысл модели проверить автоматически невозможно.Язык илинотация+СинтаксисСемантика+СемантическийдоменСемантическоеотображениеРисунок 3.30 - Семантика языка в представлении Д.Харела и Б.РумпеИсточник: составлено автором.Подводя итог можно отметить – модель, предлагаемая Д.Харелом и Б.Румпе является правильной, однако она не даёт чёткого формализованного объяснения понятиям семантическийдомен и семантическое отображение, что ограничивает её практическое применение.Семиотический подход к определению семантики языка.Модель бизнес-процессов можно рассматривать как средство коммуникации между аналитиком, который наблюдает окружающий мир, описывает его и кодирует свои наблюдения в184виде модели, используя некоторый язык моделирования, и интерпретатором, который декодирует полученную модель и пытается понять, что хотел передать ему аналитик.

Если интерпретатором является человек, то он может, переспросить непонятные ему места, понять из контекста, додумать и, таким образом, восстановить смысл модели. Если же интерпретатор машина,то модель должна быть такой, чтобы исключить возможность неоднозначного толкования. Сегодня появились исполняемые модели бизнес-процессов, которые позволяют превратить модель в исполняемый машинный код без дополнительного программирования. Семантика такихмоделей должна быть ясной и понятной как аналитику так и интерпретатору, чтобы исключитьлюбую двусмысленность.Снова рассмотрим треугольник Г.

Характеристики

Список файлов диссертации