Личный кабинет
Подробное описание документа
Девятков В. В.
Верификация знаний, полученных при изучении моделей бизнес-процессов / Девятков В. В., Кадырбаева А. Р. - DOI 10.18698/0236-3933-2020-4-99-113 // Вестник МГТУ им. Н. Э. Баумана. Сер. Приборостроение. - 2020. - № 4. -
Скачать документ
Рассмотрена методика формальной верификации (проверки) знаний, полученных при изучении моделей бизнес-процессов. В качестве формального языка для представления и верификации бизнес-процессов выбран некоторый вариант π-исчисления, в качестве языка для формулировки тестовых заданий (вопросов), подлежащих проверке, — линейная временная модальная логика. Приведено обоснование такого выбора, рассмотрены принципы формирования тестовых заданий на языке модальной логики и их использования для верификации знаний. Автоматизацию проверки знаний предложено осуществлять логическими программами, получаемыми в результате перехода от описания бизнес-процессов к программе проверки правильности на языке логического программирования Visual Prolog. Методика формальной верификации знаний проиллюстрирована примерами проверки знаний. Показано, как от описания бизнес-процессов осуществляется переход к процедурам формальной верификации (проверки) знаний. Обсуждены перспективы развития предлагаемой методики Работа поддержана грантом Минобрнауки России № 2.5048.2017/8.9
004.5 Человеко-машинное взаимодействие. Человеко-машинный интерфейс. Пользовательский интерфейс. Операционная среда пользователя
Статья опубликована в следующих изданиях
№ 4. - 2020.
