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

Г. Н. Калянов

АБВ
АБВ
АБВ

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

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

по году

Тематика

Новости

4 июня 2026 г.

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

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

4 июня 2026 г.

Социологи ВШЭ: среди российского среднего класса преобладают консерваторы

Российский средний класс нельзя считать единой и одинаково устойчивой социальной группой. За схожим уровнем доходов скрываются совершенно разные финансовые стратегии, образ жизни и степень стабильности. К такому выводу пришли социологи Высшей школы экономики. Исследование опубликовано в журнале «Вопросы экономики».

2 июня 2026 г.

НИУ ВШЭ представил исследования и проекты зеркальной лаборатории с УрФУ на USBEREIT

В мае в Екатеринбурге, Москве и Астане прошла Урало-Сибирская конференция IEEE по биомедицинской инженерии, радиоэлектронике и информационным технологиям (USBEREIT). Ученые из НИУ ВШЭ представили результаты своих исследований и проекты зеркальной лаборатории с Уральским федеральным университетом, в частности экспериментальный стенд модульного центра обработки данных и новый подход, системно объединяющий данные и физические законы.

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

Публикации

?

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

С. 144–149.

Калянов Г. Н.

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

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

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

В книге

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

М.: МЭСИ, 2013.

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

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

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

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

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

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

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

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