Цель. Целью исследования является выявление основных проблем в области моделирования бизнес-процессов и определение основных направлений развития соответствующих языков и методов моделирования, включая их отражение в современных образовательных дисциплинах и процессах. Материалы и методы. Методологической основой исследования выступает интеграция различных типов базовых моделей бизнес-процессов в рамках структурного подхода к моделированию. Исследование базируется на анализе требований профессиональных и образовательных стандартов в рассматриваемой предметной области. Систематизация и классификация направлений осуществлялась с применением системного подхода к проектированию образовательных технологий, а также с учетом требований государственной политики в сфере образования. Результаты. В работе проведен анализ современного состояния визуальных языков, моделей, методов и технологий моделирования бизнес-процессов, являющихся одним из основных направлений созданной в ИПУ РАН теории бизнес-процессов. Предложена соответствующая классификация языков визуального моделирования. Выделены наиболее часто используемые нотации и диалекты языков и проведен их сравнительных анализ, рассмотрены основные направления их развития. Рассмотрены базовые типы технологий моделирования, выявлены их достоинства и недостатки. Приведены примеры наиболее часто используемых интеграционных и трансляционных технологий моделирования. Представлен анализ состояния дел в области формализации синтаксиса и семантики современных визуальных языков моделирования бизнес-процессов, исследованы известные методы формализации синтаксиса и семантики, сформулированы предложения по их дальнейшему развитию. Осуществлен анализ международных, отечественных и корпоративных стандартов в рассматриваемой области, выявлены их недостатки и сформирован перечень необходимых работ в области стандартизации и унификации языков визуального моделирования. Среди основных направлений развития языков и методов выделены следующие: переход от языков моделирования бизнес-процессом к языкам моделирования предприятий, разработка и развитие формальных языков моделирования, разработка и исследование методов формального описания синтаксиса и семантики языков моделирования, стандартизация и унификация языков моделирования. В части обучения осуществлен анализ профессиональных стандартов по ряду направлений и выделены знания, необходимые для выполнения работ по моделированию бизнес-процессов, а также их отражение в образовательных стандартах высшего профессионального образования третьего поколения по направлениям «Прикладная информатика» «Бизнес-информатика». На основании анализа ряда дисциплин в рамках программ подготовки бакалавров и магистров, посвященных рассматриваемым вопросам, выявлены их недостатки и узкие места. Для подготовки соответствующих специалистов предложен состав дисциплин и структура модулей, апробированных автором как при подготовке магистров в ведущих ВУЗах страны, так и в рамках коммерческих курсов.

Рассматриваются сервисы, основанные на использовании REST-архитектуры. Анализируется возможность разработки защищенных программных комплексов на базе REST-сервисов в средах Linux, Windows. Приводятся примеры построения программных комплексов, основанных на сервисах этого типа и клиентов для них. Определяются основные моменты организации защиты информации при использовании этой технологии.

Получены критерии выполнения неравенств в весовых пространствах типа Бесова с операторами Римана–Лиувилля дробных порядков на действительной оси и полуосях.

В работе рассматривается принцип аналитического перехода к локальной функции в точках на области функции неявного вида, задающей геометрический объект. При этом обеспечивается переход к частным производным для получения общего вида неявной локальной функции, описывающей локальную геометрию для любой отдельной точки области объекта. По аналогии с R-функциональным моделированием приводится математический аппарат операций объединения/пересечения локальных геометрических характеристик локальной функции в отдельно взятой точке для построения дискретной области сложного геометрического объекта. Приводится пример пересечения двух функций на задаваемой области аргументов с получением дискретно геометризованной трёхмерной области для описания цилиндра. Предложенная работа является продолжением развития метода функционально-воксельного моделирования и предлагает аналитическую структуру дискретно-непрерывного описания сложных геометрических объектов взамен на средства линейной аппроксимации, применяемой на данный момент в указанном методе.

На основе данных топографии и гравитационного поля рассчитаны модельные вариации толщины коры Марса и Венеры методом чисел Лява. Метод учитывает подстройку планетных недр к нагрузкам на поверхности и в недрах. Численное моделирование проводится с использованием разложения по сферическим гармоникам данных топографии и гравитационного поля до 90-й степени и порядка для Марса и до 70-й для Венеры. Рельеф границы кора–мантия предполагает частичную изостатическую компенсацию по Эйри. Модель коры Марса согласуется с интервалом значений толщины коры под областью установки станции миссии InSight в юго-западной части равнины Элизий, полученным по результатам сейсмического эксперимента. Проведено сравнение с имеющимися глобальными моделями коры Марса и Венеры.