WikiDer > SEQUAL каркас
В SEQUAL каркас является системное моделирование эталонная модель для оценки качества моделей. Структура SEQUAL, что означает «семиотическая структура качества», разработана Джон Крогсти и другие с 1990-х годов.[1]
Структура SEQUAL - это так называемая «система качества сверху вниз», которая основана на семиотический теория, например, работы Чарльз В. Моррис. Основываясь на этой теории, он «определяет несколько аспектов качества, основанных на отношениях между моделью, совокупностью знаний, предметной областью, языком моделирования и действиями по обучению, выполнению действий и моделированию».[2] Его полезность, по мнению Mendling et al. (2006), было подтверждено в эксперименте 2002 года Moody et al.[3]
История
Основная идея структуры SEQUAL заключается в том, что "концептуальные модели можно рассматривать как наборы заявлений в язык, и, следовательно, может быть оценена в семиотических / лингвистических терминах ». Первая семиотическая структура для оценки концептуальных моделей была первоначально предложена Линдландом и др. в статье 1994 года« Понимание качества концептуального моделирования ».[4] В своей первоначальной версии он рассматривал три уровня качества:
- синтаксический,
- семантический и
- прагматичное качество
Позже эта структура была расширена и названа Krogstie et al. в статье 1995 г. «Определение аспектов качества концептуальных моделей».[5] в статье 2002 г. «Качество интерактивных моделей»[6] Krogstie & Jørgensen расширили начальную структуру, добавив больше уровней семиотической лестницы Штампера.[7]
SEQUAL framework темы
Моделирование является неотъемлемой частью многих технических областей, в том числе инженерное дело, экономика, и программного обеспечения инженерия. В этом контексте модель - это формальное представление организационной системы, например Бизнес модель или формальное описание программного обеспечения в UML.
Активация модели
Активация модели, согласно Джон Крогсти (2006),[1] это процесс, посредством которого модель влияет реальность. Активация модели предполагает, что субъекты интерпретируют модель и в некоторой степени соответствующим образом корректируют свое поведение. Этот процесс может быть:
- автоматизированный, где программный компонент интерпретирует модель,
- руководство, где модель направляет действия актеров-людей, или
- интерактивный, где предписанные аспекты модели интерпретируются автоматически, а неоднозначные части оставляются на усмотрение пользователей.
Наборы в рамках качества
Структура качества работает с набором из восьми пунктов:
- A: Актеры, которые развивают или должны иметь отношение к (частям) модели. Могут быть люди или инструменты.
- Л: Что можно выразить на языке моделирования
- М: Что выражено в модели
- D: Что можно сказать о предметной области (сфере интересов)
- К. Явное знание участвующих лиц
- I: Что люди в аудитории интерпретируют, чтобы сказать модель
- Т: Какие инструменты интерпретируют модель, чтобы сказать
- G: Цели моделирования
Физическое качество
Три основных аспекта физического качества:
- Экстернализация или вопрос «Можно ли экстернализировать знания с помощью модельного языка?»,
- Интернализуемость об устойчивости и доступности модели, и
- По сути или вопрос «Может ли язык модели выразить предметную область?»
Экстернализация представляет концепцию моделиста в некоторой модельной форме, чтобы другие могли понять ее. Другие люди могут посмотреть на это и обсудить. То, как другие люди воспринимают модель, зависит от их усвоения. После восприятия модели по-своему они могут обсудить и соответственно изменить свое мнение. Чтобы понять других, лучше иметь общий модельный язык. Под физическим качеством понимается возможность экстернализации моделей с использованием языка моделей, который должен быть доступен и, конечно, настойчиво, чтобы быть усвоенным аудиторией.
Насколько доступна модель для аудитории? Доступность зависит от возможности распространения, особенно когда члены аудитории географически рассредоточены. Тогда модель, которая является электронно распространяемым форматом, будет легче распространяться, чем модель, которая должна быть напечатана на бумаге и отправлена по обычной почте или факсу. Также может иметь значение, что именно распространяется, например модель в редактируемой форме или просто в формате вывода.
Насколько устойчива модель, насколько она защищена от потери или повреждения? Сюда также входят предыдущие версии модели, если они актуальны. Например. для модели на диске физическое качество будет выше, если есть резервная копия, или даже выше, если эта резервная копия находится на другом диске, сбой которого не зависит от оригиналов. Точно так же для моделей на бумаге большое значение будет иметь количество и безопасность резервных копий.
Эмпирическое качество
Чтобы оценить эмпирическое качество, модель должна быть хорошо экстернализована. Основные аспекты:
- Эргономика,
- читаемость,
- макет и
- теория информации.
В основном эмпирическое качество связано с вопросом «Легко ли читается модель?». Эмпирическое качество имеет дело с разнообразием выделяемых элементов, частотой ошибок при написании или чтении, кодированием (формы прямоугольников) и эргономикой взаимодействия компьютера и человека для документации и инструментов моделирования. Эргономика - это исследование дизайна рабочего места и его физического и психологического воздействия на рабочих. Это качество связано с удобочитаемостью и версткой. Существуют различные факторы, которые оказывают важное влияние на визуальный акцент, такие как размер, твердость, различия переднего и заднего плана, цвет (красный привлекает взгляд больше, чем другие цвета), изменение (мигающие или движущиеся символы привлекают внимание), положение и так далее.
В отношении эстетики графов могут быть разные соображения (Battista, 1994, Тамассия, 1988), например, углы между краями не должны быть слишком маленькими, минимизировать количество изгибов по краям, минимизировать количество пересечений между краями, разместить узлы с высокой степенью в центре чертежа, иметь симметрию сыновей в иерархиях, иметь равномерную плотность узлов на чертеже, имеют вертикальность иерархических структур и т. д.
Синтаксическое качество
Синтаксическое качество - это соответствие между моделью M и языковым расширением L языка, на котором модель написана. Здесь есть три аспекта:
- Обнаружение ошибок: Во время сеанса моделирования некоторые синтаксические ошибки --- синтаксическая неполнота --- должны быть разрешены на временной основе. Например, хотя язык DFD требует, чтобы все процессы были связаны с потоком, сложно нарисовать процесс и поток одновременно. Синтаксическая полнота должна проверяться по запросу пользователя. Итак, в отличие от неявных проверок, когда инструмент `` заставляет пользователь должен следовать синтаксису языка, явная проверка может только обнаруживать существующие ошибки и сообщать о них. Пользователь должен внести исправления.
- Исправление ошибки: заменить обнаруженную ошибку правильным утверждением
Семантическое качество
Что выражается в модели? Семантические цели этой структуры:
- Срок действия; если все утверждения в модели верны и относятся к проблеме. M D = Ø
- Полнота; если модель содержит все необходимые и правильные утверждения для решения этой проблемы. D M = Ø
Воспринимаемое семантическое качество
Воспринимаемое семантическое качество - это отношение между интерпретацией модели актером и его / ее знанием предметной области.
- Воспринимаемая достоверность I K = Ø
- Воспринимаемая полнота K I = Ø
Прагматическое качество
Прагматичность - это соответствие модели и ее интерпретации людьми. Понимание - единственная прагматическая цель в рамках. Очень важно, чтобы люди, читающие модель, ее понимали. Ни одно решение не является хорошим, если его никто не понимает. Прагматичность связана с эффектом, который модель оказывает на участников и мир. Особо рассматриваются четыре аспекта, а именно:
- человеческая интерпретация модели верна по отношению к тому, что имеется в виду.
- интерпретация инструмента верна относительно того, что должно быть выражено в модели.
- участники учатся на основе модели.
- домен изменяется (желательно в положительном направлении относительно цели моделирования).
Социальное качество
Целью социального качества является согласие. Соглашение о знаниях, интерпретации и модели. Соглашение достигается, если достигаются воспринимаемое семантическое качество и понимание. Есть относительное согласие и абсолютное согласие. Для трех частей соглашения (знания, интерпретация и модель) мы можем определить:
- Относительное согласие в трех вышеупомянутых типах соглашений; все Знания, Интерпретация и Модель согласованы.
- Абсолютное согласие по трем вышеупомянутым типам соглашений; все Знания, Интерпретация и Модель равны.
Качество знаний
Степень интернализации существующей организационной реальности.
- Знания в предметной области «полные»: D K = Ø.
- Знания в предметной области "действительны": K D = Ø.
Мероприятия по улучшению:
- Идентификация заинтересованных сторон
- Идентификация источника знаний
- Исследования и расследование
- Отбор участников
- Обучение участников
- Определение проблемы
Качество языка
Для получения качественного языка важно, чтобы:
- Язык соответствует домену.
- Язык соответствует знанию участниками языков моделирования.
- Язык, подходящий для выражения знаний участников
Если качество языка хорошее, это улучшит устный перевод участников и других технических участников. Для получения дополнительной информации см. качество языков моделирования
Организационное качество
Организационное качество модели связано с:
- Все утверждения в модели способствуют достижению целей моделирования, или Действительность организационной цели.
- Все цели моделирования решаются с помощью модели, или Полнота организационной цели.
Альтернативные рамки качества
Альтернативная система качества - это Рекомендации по моделированию (GoM) на основе общих бухгалтерский учет принципы. Структура «включает шесть принципов правильности, ясности, актуальности, сопоставимости, экономической эффективности и систематичности».[2] Он был введен в эксплуатацию для Цепочки процессов, управляемые событиями а также проверено в экспериментах [8]
Другой альтернативной структурой качества процесса моделирования, фактически основанной на SEQUAL, является структура «Качество моделирования» (QoMo). QoMo по-прежнему является «ориентированным на предварительный процесс моделирования, основанным на переходах между состояниями знаний, стоимости действий, вызывающих такие переходы, и целевой структуре для действий для моделирования. Такие цели напрямую связаны с концепциями SEQUAL».[9]
Рекомендации
- ^ а б Джон Крогсти и другие. (2006). «Модели процессов, представляющие знания для действий: пересмотренные рамки качества». В: Европейский журнал информационных систем (2006) 15, стр.91–102.
- ^ а б Ян Мендлинг и др. (2006) «О корреляции между метриками модели процесса и ошибками» Доклад конференции.
- ^ D.L. Муди и др. (2002). «Оценка качества моделей процессов: эмпирическое тестирование структуры качества». В: Stefano Spaccapietra et al. (ред.) Концептуальное моделирование - ER 2002, Труды, LNCS 2503, стр. 380-396.
- ^ О.И. Линдланд, Дж. Синдре и Арне Сёльвберг (1994) «Понимание качества в концептуальном моделировании». В: Программное обеспечение IEEE 11(2), 42–49.
- ^ KROGSTIE J, LINDLAND OI и SINDRE G (1995) "Определение аспектов качества для концептуальных моделей". В: Материалы Рабочей конференции IFIP8.1 по концепциям информационных систем (ISCO3): На пути к консолидации взглядов, 28–30 марта, Марбург, Германия (FALKENBERG E, HESS W и OLIVE E, ред.), Chapman & Hall: Лондон, Великобритания.
- ^ KROGSTIE J и JøRGENSEN HD (2002) «Качество интерактивных моделей». В: Первый международный семинар по качеству концептуального моделирования (IWCMQ’02), 11 октября 2002 г.. (OLIVE A, YOSHIKAWA M и YU E, ред.), Springer Verlag: Берлин, Германия.
- ^ STAMPER R (1996) «Знаки, нормы и информационные системы». В: Знаки на работе. B. Holmqvist et al. (Ред.). Вальтер де Грюйтер: Берлин, Германия. pp 349–397.
- ^ Дж. Беккер, М. Роземанн и К. фон Утманн. (2000). «Рекомендации по моделированию бизнес-процессов». В: W.M.P. ван дер Аалст и другие. редакторы, Управление бизнес-процессами. Модели, методы и эмпирические исследования, Springer, Berlin et al. Стр. 30-49.
- ^ Патрик ван Боммель и другие. (2007). «QoMo: Структура качества процесса моделирования на основе SEQUAL». Бумага Институт вычислительных и информационных наук, Университет Радбауд, Неймеген