Диссертация (1152223), страница 31
Текст из файла (страница 31)
Они правильно утверждают, что моделирование процессов подразумеваетсоздание некоторой формальной модели процесса, описанной на математическом или любомдругом формализованном языке. В области моделирования бизнес-процессов к числу формальных относят: диаграммы состояний (STD), сети Петри (PN) и диаграммы потоков данных(DTD), если миниспецификация, описывающая трансформацию, может быть записана в видеформулы.
Каждый формализм определяет набор определённых правил, которым должна удовлетворять соответствующая модель [125]. Однако остаются открытыми вопросы: Какому формализму соответствуют нотации моделирования IDEF, EPC, BPMN? В какой степени аналитикипридерживаются соответствующего формализма?Авторы отмечают, что «для прикладных задач внедрения процессного подхода к управлению, целесообразнее использовать термин «описание процесса». Они определяют моделирование бизнес-процессов — как «отражение субъективного видения реально существующих в организации процессов при помощи графических, табличных, текстовых способов представления» [123]. В этом определении присутствует слово субъективизм и, как следствие, возникаютвопросы, насколько точна модель, созданная аналитиком, в какой степени она соответствуетреальному ходу работ организации? Авторы подтверждают эту мысль: «опыт показывает, что120степень субъективности полученных моделей может стать серьёзным препятствием для ихдальнейшего использования» [123].
Однако, обсуждая причины неудач проектов «моделирования и реинжиниринга бизнес-процессов», они подробно обсуждают недостатки организациипроекта по моделированию, но опускают вопрос точности и адекватности модели процесса.Синтаксис, семантика и прагматика модели бизнес-процессаВ настоящее время в программной инженерии принято исследовать языки моделированияв рамках лингвистического подхода, средствами прикладной семиотики – науки о знаках. Помнению Д.
Поспелова, семиотическая система включает три аспекта[330]: синтаксический, устанавливающий отношения между знаками, образующими язык; семантический, определяющий содержание (смыл) каждого знака; прагматический, характеризующий истолкование знака или связанное с ним действие.Синтаксический аспект, казалось бы, вызывает меньше всего затруднений — для каждогоязыка существует набор правил, которые определяют правила соединения отдельных знаков врамках модели.
Например, для нотации моделирования бизнес-процессов BPMN 2.0 Сильвер Б.предлагает набор правил, которые определяют семантическую правильность модели [331], однако, эти правила установлены эмпирическим путём, у них нет теоретического обоснования.На сегодня существует несколько несовпадающих мнений касательно семантики моделибизнес-процесса. С одной стороны, авторы стандартов нотаций моделирования (UML илиBPMN) заявляют, что эти языки созданы на основе метамоделей, описывающих их синтаксис,семантику и прагматику.
С другой стороны, существует точка зрения, что наличие метамоделине означает наличие синтаксиса или семантики. Например, Д. Харел и Б. Румпе [332] считают,что семантику языка нельзя отождествлять с:метамоделью, поскольку последняя является средством описания синтаксиса;семантическим доменом, поскольку семантика описывает отображение на этот домен, ноне совпадает с доменом;контекстным условием, поскольку в этом утверждении не упоминаются ни семантическийдомен, ни семантическое отображение;поведением исследуемого объекта, поскольку некоторые модели, например, структурные,имеют семантику, но не описывают поведение;исполняемостью, поскольку не все языки позволяют создавать исполняемые модели;«математической нотацией», поскольку последняя, по их мнению, не имеет никакого от-ношения к семантике;пониманием индивидуальных конструкций, поскольку семантика отдельной модели неесть семантика языка.121Наконец прагматику языка авторы стандартов UML и BPMN понимают однобоко – не какобоснование правил использования нотации, а как средство, обеспечивающее переносимостьразрабатываемых моделей между средами проектирования и исполнения разных вендоров[168],[169].Чтобы лучше понять соотношение между синтаксисом и семантикой, мы рассмотримквадрат Д.А.
Поспелова [126], но внесём в него небольшое изменение – вместо метамодели(вершина 4), которую ввёл в рассмотрение Д.А. Поспелов, мы используем боле общее понятиедефиниция, которая раскрывает содержание (смысл) знака посредством описания существенных отличительных признаков предметов или явлений, обозначаемых данным именем. Как показано на рисунке 3.2, дефиниция характеризует синтаксис, семантику и прагматику модели.1Синтаксис2Семантика3Прагматика4ДефиницияРисунок 3.2 - Квадрат ПоспеловаИсточник: составлено автором по материалам [126]Можно предположить, что дефиниция может быть выполнена разными способами, так чтоодин объект будет иметь несколько дефиниций.
Во-первых, можно определить объект при помощи некоторой метамодели (как это изначально предлагал Д.А. Поспелов), в этом случае, мыделаем модель переносимой между разными средами моделирования и определяем одинаковоеповедение модели в различных средах исполнения. Во-вторых, мы можем дать формальнуюдефиницию с помощью математической модели, в этом случае, необходимо, чтобы между моделью и прототипом существовало отношение морфизма, тогда можно воспользоваться выводом по аналоги – перенести результаты, полученные с помощью математической модели, нареальный прототип. Модель и прототип называются изоморфными, если каждому элементу,свойству или отношению модели соответствует единственный элемент, свойство или отношение прототипа, и наоборот.
Отсутствие обратного отношения делает модель и прототип гомоморфными. Мы будем предполагать, что соответствие между математической формальной моделью и прототипом является односторонним или гомоморфным, так что модель однозначносоответствует прототипу, но свойства прототипа шире, чем свойства, казанные в модели.Одни математические модели, такие как диаграмма состояний или сети Петри, могут описывать поведение прототипа, другие, например, структурные, являются математически строгими, но поведение не описывают. Важно отметить, что просто сказать, что наша модель в качестве математической дефиниции использует, например, сети Петри, недостаточно.
Котов В.Е.122определяет несколько разных способов отображения реальных процессов на сети Петри, чтопозволяет моделировать совершенно разные характеристики прототипа [333]. Очевидно, чторазные отображения дадут разные результаты. Таким образом, «строгая формальная математическая» дефиниция прототипа предполагает: (а) выбор некоторого формализма, в рамках которого предполагается рассматривать прототип; (б) определение способа отображения прототипана конструкции выбранной формальной модели; (в) доказательство существования морфизмамежду моделью и прототипом.Выскажем два соображения.
Во-первых, если отображение модели на прототип являетсягомоморфным, то модель не позволяет описать все свойства прототипа, а только их некоторуючасть. В этом случае, придётся воспользоваться несколькими моделями, чтобы каждая описывала отдельные аспекты прототипа, а все вместе они позволяли создать полное исчерпывающееописание прототипа. Во-вторых, для каждой из частных моделей именно математический формализм является определяющим, он характеризует синтаксические, семантические и прагматические свойства этой модели, а метамодель лишь фиксирует соответствующие свойства в машиночитаемой форме.Фреймворк качества исполняемой модели бизнес-процессаДля оценки качества модели бизнес-процесса О.
Линланд, Г. Синдре и А. Сольвбергпредложили разделить показатели качества модели на три компоненты: (1) синтаксическое качество; (2) семантическое качество; (3) прагматическое качество [127]. Предлагаемая ими модель качества оперирует следующими понятиями, смотри рисунок 3.3:D- Домен - предметная область моделирования, процесс или явление;L- Язык моделирования состоит из выражений, которые подчиняются правилам синтаксиса исемантики;M-Модель есть набор выражений языка моделирования, которые одновременно правильны ирелевантны задаче моделирования;A- Актор интерпретируют модель как набор выражений, которые, как он думает, образуют модель. Актор может быть автоматом или человеком.AИнтерпретаторПрагматическое к-воDДоменСинтаксическоек-воMМодельСемантическоек-воLЯзыкРисунок 3.3 - Семиотический подход к оценке качества моделиИсточник: составлено автором по материалам [127]Синтаксическое качество характеризует соответствие модели правилам нотации моделирования.
Оно указывает, что каждый язык моделирования, включает наборы формальных правил:123статических и динамических. Первые характеризуется способ соединения элементов, например, для нотации EPC существует правило, которое постулирует, что события на диаграммеEPC не могут быть соединены непосредственно, а должны разделяться функцией. Аналогичноеправило для сетей Петри не позволяет соединять непосредственно два перехода, а только черезразделяющую их позицию.
Вторые характеризуют правила поведения процесса. Например,модель процесса должна быть завершаемой, соответственно можно сформулировать критериикорректного завершения процесса [128]. Статические синтаксические правила являются относительно простыми в проверке, поэтому они рекомендуют начинать анализ модели с проверкисинтаксической корректности, поскольку бессмысленно анализировать прагматическое качество, если модель содержит синтаксические ошибки. Напротив, проверка динамических синтаксических правил оказывается очень трудоёмкой. Синтаксическое качество определяетсяследующим образом – модель соответствует правилам синтаксиса языка моделирования, еслиразность множеств M и L равна, формула (3.1):M\L=(3.1)Семантическое качество характеризует истинность высказывания (содержащегося в модели)об окружающем и изображаемом мире.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
