А.Н. Алфимцев, В.В. Девятков
ПРИНЦИПЫ ФОРМАЛИЗАЦИИ МЕТОДОЛОГИИ
ДЕТЕРМИНИРОВАННОГО ПРОЕКТИРОВАНИЯ
ИНТЕЛЛЕКТУАЛЬНОГО МУЛЬТИМОДАЛЬНОГО
ИНТЕРФЕЙСА
Эта проблема требует решения ряда непростых задач. <...> Предложен
новый подход к решению задач проектирования интеллектуальных
мультимодальных интерфейсов, базирующийся на алгебре процессов,
развиваемой на протяжении многих лет различными коллективами
исследователей. <...> E-mail: alfim@bmstu.ru, deviatkov@iu3.bmstu.ru
Ключевые слова: интеллектуальный мультимодальный интерфейс, процесс, регулярные выражения, операторные схемы параллельных алгоритмов, процессные исчисления. <...> Интеллектуальный мультимодальный интерфейс (ИМИ) – пользовательский интерфейс, предоставляющий пользователям возможность взаимодействия адекватно их модальностям, распознавать различные ситуации для достижения своих целей, создавать модели
поведения пользователей и среды, в которой он функционирует, модифицировать модели поведения в соответствии с текущим состоянием пользователей и среды [1]. <...> При этом актуальным является формализация процесса создания, которую можно взять за основу
автоматизированного проектирования ИМИ. <...> В
работе [9], посвященной методологии проектирования ИМИ, также
используется язык UML. <...> В связи с возрастающей сложностью интеллектуальных мультимодальных интерфейсов активно развиваются автоматизированные
методологии проектирования интерфейсов [11–13], базирующиеся на
использовании формальных моделей проектирования. <...> В диссертации [12] автоматизация проектирования,
реализации и сопровождения пользовательского интерфейса основана на онтологическом подходе. <...> В работе [13] представлена методология разработки алгоритмов решения задач анализа и синтеза структур
программного обеспечения и устройств вычислительной техники. <...> Кроме работ, направленных на формализацию проектирования процессов программного обеспечения, в настоящее время активно развиваются методы формализации <...>