Изучение модуля ARIS Semantic Check

Практическое занятие №18

ЗАДАНИЕ. Изучение модуля ARIS Semantic Check.

Перед началом семантической проверки моделей и объектов согласно правилам, предоставляемым модулем ARISSemanticCheck, проведем необходимые настройки на вкладке SemanticCheck после запуска команды  меню View/Options (Вид/Опции) (рис. 18.1.).

Рис. 18.1. ДО View/Options→ Semantic Check

Здесь в первом окне RuleTypeandRuleGroups (Типы и группы правил) выбирается требуемая группа правил, например, StructureRules (Структурные правила), а также тип правила из этой группы, например, Structurerulesforprocessmodels (Структурные правила для моделей процессов). Тогда в правом окне Rules (Правила) можно установить флажки у соответствующих правил, т.е. подключить те правила, которые будут доступны при семантическом контроле моделей процессов. Можно вписать в этот перечень новое правило (кнопка New), указав краткое описание назначения этого правила. Но следует иметь в виду, что без создания (подключения) соответствующего скрипта (который можно создать с помощью ARISScriptEditor) это правило будет недействующим. Можно также переименовать группу правил.

Кроме того, можно отредактировать существующее правило, например, переименовав его (кнопка Edit, ДО EditRule), как сделано на рис. 18.2. и 18.3. Например, правило Allfunctions/eventsmusthaveonlyoneincoming/outgoingconnectionsбыло переименовано на Все функции/события должны иметь только одну входящую/исходящую связь и в описание (Description) добавлен текст: Это правило проверяет, имеют ли все функции и события выбранной модели максимум одну входящую/исходящую связь. Аналогично можно отредактировать (русифицировать) и другие правила. Результат переименования для некоторых структурных правил для процессных моделей представлен на рис. 18.4. Однако не все правила можно отредактировать, т.е. в ряде случаев, при выборе типа правила, кнопка Edit будет не доступна. В итоге следует перезагрузить приложение.

Рис. 18.2. Выбор правила и использование кнопки Edit

Рис. 18.3. ДО EditRule

Рис. 18.4. Результат редактирования названия и описания правила

В группе Description (Описание) ДО SemanticCheckможно увидеть описание данного типа правила, если оно существует или было занесено при создании или редактировании правила. В группе PathData (Данные о пути) занесены данные о том, где будут сохраняться результаты (отчеты) семантической проверки (OutputPath), по умолчанию это C:\Program Files\ARIS6.2\script\SemanticCheck\out, и где записаны скрипты семантической проверки, по умолчанию это папка C:\Program Files\ARIS6.2\script\SemanticCheck\en. Отчет о результатах проверки семантики элементов ARIS может быть выведен в файл следующих форматов: rtf, html, txt, doc, xls.

Методику проведения семантической проверки рассмотрим на примере модели еЕРС, изображенной на рис.18.5. и содержащей ряд семантических ошибок. Мастер семантической проверки может быть запущен только, если модель построена и все изменения сохранены.

Рис. 18.5. eEPC – модель с ошибками перед семантической проверкой

Механизм проверки семантики (SemanticCheckWizard)моделей и объектов вызывается из пункта меню Evaluate/SemanticCheck. Проверки проводятся по набору правил, относящихся к заданной группе (рис. 18.6.), для чего из выпадающего списка SuggestedSemanticChecks (RuleTypes) (Встроенные типы правил для семантической проверки) выбираются правила, предлагаемые ПС ARIS. Если пользователем были созданы свои правила, то он может выбрать метку у опции OtherScript (Другие правила) и указать путь к папке, где записаны скрипты, содержащие эти правила.

Рис. 18.6. Окно SemanticCheckWizard: выбор типа правил проверки

Для нашей модели выберем структурные правила (StructureRules). Нажав кнопку Далее, переходим к ДО SemanticCheckWizard – SelectOutputOptions(Мастер Семантической проверки – Выбор настроек выхода). Это ДО аналогично ДО при запуске скриптов отчета и анализа в соответствующих модулях ARISReport и ARISAnalysis. Здесь можно указать имя выходного файла (по умолчанию – это SemanticCheck1), его тип (здесь – это формат Excel), язык вывода информации, тип оценочного фильтра, а также при желании, выбрать флажок Testscriptstepbystep для перехода в редактор скриптов (ScriptEditor) для корректировки скрипта с использованием встроенного языка ARISSaxBasic.

Рис. 18.7. ДО Semantic Check Wizard – Select Output Options

Далее запустится процедура семантической проверки (рис. 18.8.)

Рис. 18.8. Запуск процесса проверки

Но после выдается сообщение о том, что в группе не были выбраны конкретные правила (рис. 18.9.).

Рис. 18.9. Сообщение ARIS

Нажав OK, окажемся в ДО ARISSemanticCheck (рис. 18.10.), где в первой группе AvailableRuleGroups (Доступные группы правил) выберем требуемую группу, в нашем случае – Structurerulesforprocessmodels (Структурные правила для моделей процессов). Далее в окне AvailableRules(Доступные правила) выберем одно или несколько правил, на соответствие которым мы хотим проверить модель. Чтобы выбрать все правила, можно нажать кнопку SelectAll (Выбрать все), тогда в третьем окне SelectedRules (Выбранные правила) отразятся все правила этой папки. Но надо помнить, что запустятся только те из них, которые ранее были выбраны на вкладке SemanticCheck команды View/Options. Чтобы выбрать несколько правил из списка, достаточно поочередно выделять их в окне AvailableRules и далее нажимать кнопку ChooseSelection (Выбор варианта). Для нашей модели выберем четыре правила: