Формальные методы инжиниринга и верификации бизнес-процессов

Г. Н. Калянов

АБВ
АБВ
АБВ

Обычная версия сайта

Приоритетные направления

по году

Тематика

Новости

5 июня 2026 г.

Аспирантка НИУ ВШЭ открыла «невидимую» планировку античного Париона

Исследовательница из НИУ ВШЭ Идиль Малгиль изучила с помощью дрона с лазерным сканером сверхвысокого разрешения древнеримский город Парион, расположенный на территории современной Турции. Благодаря высокой плотности сканирования удалось зафиксировать крошечные неровности рельефа, скрытые под землей и растительностью. Обнаружены следы целых кварталов, террасных систем и стен, которые невозможно было различить ни при обычных раскопках, ни с помощью аэрофотосъемки. Результаты исследованияо публикованы в международном научном журнале Ancient Civilizations from Scythia to Siberia.

2 июня 2026 г.

От Волги до Янцзы: математики из Нижнего Новгорода и Шанхая изучают устойчивость систем

Математики НИУ ВШЭ в Нижнем Новгороде совместно с коллегами из шанхайского Университета Тунцзи исследуют фундаментальные причины структурной устойчивости систем и механизмы их нарушения. О развитии проекта Qualitative Theory of Systems of Ordinary and Partial Differential Equations в рамках программы НИУ ВШЭ «Международное академическое сотрудничество» «Вышке.Главное» рассказала его руководитель, профессор Ольга Починка, заведующая Международной лабораторией динамических систем и приложений НИУ ВШЭ в Нижнем Новгороде.

4 июня 2026 г.

«Я хочу, чтобы люди больше доверяли науке»

Выбирая специальность «фундаментальная и прикладная лингвистика», Татьяна Еремичева думала, что это про изучение языков, а оказалось — про помощь людям. В интервью проекту «Молодые ученые Вышки» она рассказала о науке как инструменте приятия этого мира, бильярде как варианте тимбилдинга и о том, как иногда непросто научиться читать.

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Публикации

?

Формальные методы инжиниринга и верификации бизнес-процессов

С. 144–149.

Калянов Г. Н.

Предложен комплекс методов тестирования и верификации бизнес-процессов

Язык: русский

Ключевые слова: верификация бизнес-процессов

В книге

Инжиниринг предприятий и управление знаниями (ИП&УЗ-2013)

М.: МЭСИ, 2013.

О разрешимости бездефектности для сетей потоков работ с неограниченным ресурсом

Башкин В. А., Ломазова И. А., Моделирование и анализ информационных систем 2013 Т. 20 № 4 С. 23–40

Рассматривается моделирование схем потоков работ (workflow) при помощи сетей Петри. Определяется класс сетей потоков работ с ресурсами (RWF-сетей) — обычных workflow-сетей, в которых дополнительно добавлено множество ресурсных позиций, содержащих какую-то начальную разметку (начальный ресурс). Ресурсы могут уничтожаться и производиться при срабатываниях переходов. Мы не накладываем ограничений ни на промежуточные, ни на финальные ресурсные разметки, поэтому ...

Добавлено: 14 ноября 2013 г.

Использование инструментария субъектно-ориентированного подхода к управлению бизнес-процессами при проведении системной диагностики предприятия

Визгунов А. Н., Визгунов А. Н., Вестник Воронежского государственного университета. Серия: Системный анализ и информационные технологии 2012 № 2 С. 91–99

Статья посвящена анализу ключевых характеристик системной диагностики предприятия, базирующейся на использовании инструментария субъектно-ориентированного подхода к управлению бизнес-процессами. Особенности инструментария субъектно-ориентированного подхода рассматриваются на примере программного продукта Metasonic Suite. В статье анализируются достоинства и недостатки рассматриваемого подхода и обосновывается эффективность его применения. ...

Добавлено: 14 октября 2013 г.