ПОСЛЕДОВАТЕЛЬНАЯ структура
Структура SEQUAL представляет собой системного моделирования эталонную модель для оценки качества моделей. Структура SEQUAL, что означает «семиотическая структура качества», разрабатывается Джоном Крогсти и другими с 1990-х годов. [1]
Структура SEQUAL — это так называемая «нисходящая структура качества», которая основана на семиотической теории, такой как работы Чарльза В. Морриса . Основываясь на этой теории, он «определяет несколько аспектов качества, основанных на отношениях между моделью, совокупностью знаний, предметной областью, языком моделирования и деятельностью по обучению, принятию мер и моделированию». [2] Его полезность, по мнению Mendling et al. (2006), было подтверждено в эксперименте 2002 года Moody et al. [3]
История [ править ]
Основная идея SEQUAL заключается в том, что « концептуальные модели можно рассматривать как наборывысказывания на языке и, следовательно, могут быть оценены в семиотических/лингвистических терминах».Структура оценки концептуальных моделей была первоначально предложена Линдландом и др. в статье 1994 г. «Понимание качества концептуального моделирования». [4] В своей первоначальной версии он рассматривал три уровня качества:
- синтаксический,
- семантические, -и
- прагматичное качество
Позднее эта структура была расширена и названа Krogstie et al. структурой SEQUAL. в статье 1995 г. «Определение аспектов качества концептуальных моделей». [5] в статье 2002 г. «Качество интерактивных моделей» [6] Крогсти и Йоргенсен расширили первоначальную структуру, добавивбольше уровней семиотической лестницы Стэмпера. [7]
Темы структуры SEQUAL [ править ]
Моделирование является неотъемлемой частью многих технических областей, включая инженерию , экономику и разработку программного обеспечения . В этом контексте модель — это формальное представление организационной системы, например бизнес-модель или формальное описание программного обеспечения в UML .
Активация модели [ править ]
Активация модели, по словам Джона Крогсти (2006), [1] это процесс, посредством которого модель влияет на реальность . Активация модели предполагает, что актеры интерпретируют модель и в некоторой степени соответствующим образом корректируют свое поведение. Этот процесс может быть:
- автоматизированный , когда программный компонент интерпретирует модель,
- руководство , где модель направляет действия людей-актеров, или
- интерактивный , где предписанные аспекты модели интерпретируются автоматически, а неоднозначные части оставляются на усмотрение пользователей.
Наборы в системе качества [ править ]
Система качества работает с набором из восьми пунктов:
- Ответ: Действующие лица, которые разрабатывают или должны иметь отношение к (частям) модели. Это могут быть люди или инструменты.
- Л: Что можно выразить на языке моделирования?
- М: Что выражено в модели
- D: Что можно сказать о предметной области (области интересов)
- K: Явное знание участвующих лиц.
- I: Что люди в аудитории интерпретируют как слова модели.
- Т: Какие соответствующие инструменты интерпретируют модель, чтобы сказать
- G: Цели моделирования
Физические качества [ править ]
Три основных аспекта физического качества:
- Экстернализация или вопрос «Можно ли экстернализировать знания с помощью модельного языка?»,
- Интернализация в отношении устойчивости и доступности модели, а также
- По сути , или вопрос «Может ли язык модели выразить предметную область модели?»
Экстернализация представляет концепцию разработчика модели в некоторой модельной форме, чтобы другие могли ее понять. Другие люди могут посмотреть и обсудить. То, как другие люди воспринимают модель, является вопросом интернализации. Восприняв модель по-своему, они могут обсудить ее и соответствующим образом изменить свое мнение. Чтобы понимать других, лучше иметь какой-то общий модельный язык. Физическое качество означает возможность экстернализации моделей с использованием модельного языка, который должен быть доступен и, конечно же, настойчиво усваиваться аудиторией.
Насколько модель доступна аудитории? Доступность зависит от возможности распространения, особенно когда члены аудитории географически разбросаны. Тогда модель, которая представляет собой формат, распространяемый в электронном виде, будет легче распространяться, чем модель, которую необходимо распечатать на бумаге и отправить по обычной почте или факсу. Также может иметь значение, что именно распространяется, например, модель в редактируемой форме или просто в выходном формате.
Насколько устойчива модель, насколько она защищена от потери или повреждения? Сюда также входят предыдущие версии модели, если они актуальны. Например, для модели на диске физическое качество будет выше, если есть резервная копия, или даже выше, если эта резервная копия находится на другом диске, сбой которого не зависит от оригиналов. Аналогичным образом, для моделей на бумаге большое значение будет иметь количество и безопасность резервных копий.
качество Эмпирическое
Чтобы оценить эмпирическое качество, модель должна быть хорошо экстернализована. Основные аспекты:
- Эргономика,
- читабельность,
- планировка и
- теория информации.
По сути, эмпирическое качество связано с вопросом «Легко ли читается модель?». Эмпирическое качество касается разнообразия выделяемых элементов, частоты ошибок при написании или чтении, кодирования (формы блоков) и эргономики взаимодействия компьютера и человека для документации и инструментов моделирования. Эргономика — это изучение дизайна рабочего места и его физического и психологического воздействия на работников. Это качество связано с читабельностью и компоновкой. Существуют различные факторы, которые оказывают важное влияние на визуальный акцент, такие как размер, плотность, различия переднего плана и фона, цвет (красный привлекает внимание больше, чем другие цвета), изменение (мигающие или движущиеся символы привлекают внимание), положение и так далее.
Для эстетики графа могут быть разные соображения (Баттиста, 1994, Тамассия , 1988), например, углы между ребрами не должны быть слишком маленькими, минимизировать количество изгибов вдоль ребер, минимизировать количество пересечений между ребрами, размещать узлы с высокой степенью в центре. рисунка, иметь симметричность сыновей в иерархиях, иметь равномерную плотность узлов рисунка, иметь вертикальность иерархических структур и так далее.
Синтаксическое качество [ править ]
Синтаксическое качество — это соответствие между моделью М и языковым расширением L языка, на котором написана модель. Здесь есть три аспекта:
- Обнаружение ошибок . Во время сеанса моделирования некоторые синтаксические ошибки (синтаксическая неполнота) должны быть допущены на временной основе. Например, хотя язык DFD требует, чтобы все процессы были связаны с потоком, сложно нарисовать процесс и поток одновременно. Синтаксическая полнота должна быть проверена по запросу пользователя. Таким образом, в отличие от неявных проверок, когда инструмент заставляет пользователя следовать синтаксису языка, явная проверка может только обнаружить и сообщить о существующих ошибках. Пользователь должен внести исправления.
- Исправление ошибок : замена обнаруженной ошибки правильным утверждением.
Семантическое качество [ править ]
Что выражено в модели?Семантические цели этой структуры:
- Срок действия; если все утверждения в модели верны и связаны с проблемой. М\Д = Ø
- Полнота; если модель содержит все соответствующие и правильные утверждения для решения этой проблемы. Д\М = Ø
Воспринимаемое семантическое качество [ править ]
Воспринимаемое семантическое качество — это отношение между интерпретацией модели актором и его/ее знанием предметной области.
- Воспринимаемая достоверность I\K = Ø
- Воспринимаемая полнота K\I = Ø
Прагматическое качество [ править ]
Прагматическое качество — это соответствие модели и ее интерпретации людьми. Понимание – единственная прагматическая цель в рамках. Очень важно, чтобы люди, читающие модель, поняли ее. Никакое решение не является хорошим, если никто его не понимает. Прагматическое качество связано с влиянием модели на участников и мир. В частности, рассматриваются четыре аспекта:
- человеческая интерпретация модели правильна относительно того, что имеется в виду.
- интерпретация инструмента правильна относительно того, что должно быть выражено в модели.
- участники учатся на основе модели.
- домен изменяется (желательно в положительном направлении относительно цели моделирования).
Социальное качество [ править ]
Целью социального качества является согласие. Соглашение о знании, интерпретации и модели. Согласие достигается, если достигнуто воспринимаемое семантическое качество и понимание. Существует относительное согласие и абсолютное согласие. Для трех частей соглашения (знания, интерпретация и модель) мы можем определить:
- Относительное соглашение в трех вышеуказанных типах соглашений; все Знания, Интерпретации и Модели последовательны.
- Абсолютное согласие в трех вышеуказанных типах соглашений; все Знания, Интерпретации и Модели равны.
Качество знаний [ править ]
Степень интернализации существующей организационной реальности.
- Знания в предметной области являются «полными»: D\K = Ø.
- Знания в предметной области являются «действительными»: K\D = Ø.
Мероприятия по улучшению:
- Идентификация заинтересованных сторон
- Идентификация источника знаний
- Исследования и расследования
- Выбор участника
- Обучение участников
- Определение проблемы
Качество языка [ править ]
Для получения хорошего языкового качества важно, чтобы:
- Язык соответствует домену.
- Язык соответствует знанию участниками языков моделирования.
- Язык, подходящий для выражения знаний участников
Если качество языка хорошее, это улучшит перевод участников и других технических специалистов. Дополнительные сведения см. в разделе « Качество языков моделирования».
Организационное качество [ править ]
Организационное качество модели связано с:
- Все утверждения в модели способствуют достижению целей моделирования или достоверности целей организации .
- Все цели моделирования решаются посредством модели или полноты целей организации .
качества Альтернативная система
Альтернативной основой качества являются « Руководящие принципы моделирования» (GoM), основанные на общих бухгалтерского учета принципах . Структура «включает шесть принципов правильности, ясности, актуальности, сопоставимости, экономической эффективности и систематического проектирования». [2] Он был использован для цепочек процессов, управляемых событиями , а также протестирован в экспериментах. [8]
Еще одна альтернативная система качества процесса моделирования, фактически основанная на SEQUAL, - это структура «Качество моделирования» (QoMo). QoMo по-прежнему представляет собой «ориентированный на предварительный процесс моделирования, основанный на переходах состояний знаний, стоимости действий, вызывающих такие переходы, и структуре целей для действий по моделированию. Такие цели напрямую связаны с концепциями SEQUAL». [9]
Ссылки [ править ]
- ^ Jump up to: Перейти обратно: а б Джон Крогсти и др. (2006). «Модели процессов, представляющие знания для действий: пересмотренная структура качества» . В: Европейский журнал информационных систем (2006) 15, стр. 91–102.
- ^ Jump up to: Перейти обратно: а б Ян Мендлинг и др. (2006) Доклад конференции «О корреляции между показателями модели процесса и ошибками» .
- ^ DL Moody и др. (2002). «Оценка качества моделей процессов: эмпирическое тестирование системы качества». В: Стефано Спаккапьетра и др. (ред.) Концептуальное моделирование - ER 2002, Proceedings, LNCS 2503 , стр. 380-396.
- ^ О. И. Линдланд, Г. Синдре и Арне Сёльвберг (1994) «Понимание качества концептуального моделирования». В: Программное обеспечение IEEE 11 (2), 42–49.
- ^ КРОГСТИ Дж., ЛИНДЛАНД О.И. и СИНДР Г. (1995) «Определение аспектов качества для концептуальных моделей». В: Материалы рабочей конференции IFIP8.1 по концепциям информационных систем (ISCO3): На пути к консолидации взглядов, 28–30 марта, Марбург, Германия (FALKENBERG E, HESS W и OLIVE E, Eds), Chapman & Hall: Лондон. , Великобритания.
- ^ КРОГСТИ Дж. и ЙОРГЕНСЕН HD (2002) «Качество интерактивных моделей». В: Первый международный семинар по качеству концептуального моделирования (IWCMQ'02), 11 октября 2002 г. (ОЛИВ А, ЁШИКАВА М и Ю Э, редакторы), Springer Verlag: Берлин, Германия.
- ^ СТАМПЕР Р. (1996) «Знаки, нормы и информационные системы». В: Знаки на работе . Б. Холмквист и др. (Редс). Вальтер де Грюйтер: Берлин, Германия. стр. 349–397.
- ^ Дж. Беккер, М. Роземанн и К. фон Утманн. (2000). «Руководство по моделированию бизнес-процессов». В: WMP ван дер Аалст и др. редакторы, Управление бизнес-процессами. Модели, методы и эмпирические исследования , Springer, Berlin et al. Стр. 30-49.
- ^ Патрик ван Боммель и др. (2007). «QoMo: Структура качества процесса моделирования на основе SEQUAL» . Бумажный институт вычислительных и информационных наук, Университет Радбауд, Неймеген