• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Статьи
  • Метод определения противоречий в DEMO-моделях бизнес-процессов
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Приоритетные направления
  • бизнес-информатика
  • государственное и муниципальное управление
  • гуманитарные науки
  • инженерные науки
  • компьютерно-математическое
  • математика
  • менеджмент
  • право
  • социология
  • экономика
по году
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • еще
Тематика
Новости
30 июля 2026 г.
Два года роста или падения: как выбрать инвестиционную стратегию
Экономисты из НИУ ВШЭ совместно с коллегами из зарубежных университетов изучили движение биржевых цен за почти 100 лет и предложили инвестиционную стратегию, доходность которой почти вдвое могла бы превысить рыночную. Ученые предлагают придерживаться стратегии моментум, когда рынок растет в течение двух лет, и переключаться на стоимостный подход, когда рынок падает. Статья опубликована в ведущем международном журнале Journal of Banking and Finance.
28 июля 2026 г.
Исследователи ВШЭ показали связь между вниманием и трудностями общения при аутизме
Исследователи НИУ ВШЭ изучили, как трудности в общении детей с аутизмом связаны с работой мозга. Данные показали, что важную роль играют не только языковые сети, но и сети внимания. Чем хуже работали связи, поддерживающие фокус и переключение внимания, тем более выраженными были нарушения в коммуникации. Исследование опубликовано в журнале European Child & Adolescent Psychiatry.
28 июля 2026 г.
Ученые выяснили, почему во время COVID-19 одни носили маски, а другие - нет
Почему одни люди добровольно следуют новым правилам, а другие их игнорируют? Ученые НИУ ВШЭ выяснили, что дело не столько в готовности действовать сообща, как считалось раньше, сколько в способности сопереживать другим людям. Именно эмпатия лучше всего объяснила, почему во время пандемии COVID-19 одни люди носили маски добровольно, а другие — нет. Результаты исследования опубликованы в журнале Frontiers.

 

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

Публикации
  • Книги
  • Статьи
  • Главы в книгах
  • Препринты
  • Верификация публикаций
  • Расширенный поиск
  • Правила использования материалов
  • Наука в ВШЭ

?

Метод определения противоречий в DEMO-моделях бизнес-процессов

Бизнес-информатика. 2014. № 2. С. 33–43.
Бабкин Э. А., Бузуева А. А., Логвинова К. В.

В статье дается анализ методов и предложено решение проблемы обнаружения логических противоречий в моделях бизнес-процессов системы здравоохранения. Практической целью разрешения проблемы является повышение эффективности управления данными и процессами в муниципальных учреждениях здравоохранения при реализации комплексных услуг. Методология основана на формальных инструментах реляционной логики, в качестве формализма задействована методология описания бизнес-процессов DEMO. Использована существенным образом система моделирования MIT Alloy Analyzer. Проанализированы бизнес процессы конкретной организации, приведены рекомендации о ликвидации противоречий.

Научное направление: Фундаментальная медицина Здравоохранение Компьютерные науки
Приоритетные направления: бизнес-информатика
Язык: русский
Полный текст
Текст на другом сайте
Ключевые слова: business processformal methodsанализ бизнес-процессовформальные методы
Похожие публикации
EEG evidence for reproducible neural states during Buddhist Highest Yoga Tantra meditation
Михайлец Е. В., Razorenova A. М., Chernyshev V. L. и др., Scientific Reports 2026 Vol. 16 Article 23560
Добавлено: 29 июля 2026 г.
Machine Learning-based Adaptive Reconstruction of Video Stream Fragments Taking into Account Scene Dynamics. Proceedings of the Institute for System Programming of the RAS
Думкин Н. А., Александров Д. В., Прозорский М. А., Труды Института системного программирования РАН 2026 Т. 38 № 1 С. 255–274
Предложен теоретически обоснованный подход к адаптивному восстановлению видеофрагментов на стороне клиента с использованием методов машинного обучения и анализа сцены. Метод включает формальную постановку задачи, модель конечного автомата для принятия решений, функцию стоимости восстановления, а также новый этап в подготовке видео – оценку динамики сцены с последующей записью признака в HLS-плейлист. Такой признак позволяет повысить точность выбора методов восстановления фрагментов видео. ...
Добавлено: 27 июля 2026 г.
Automated Reasoning: 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part II
Cham: Springer, 2026.
Добавлено: 26 июля 2026 г.
Global, regional, and national burden of road injuries 1990–2023: a systematic analysis for the Global Burden of Disease Study 2023
Власов В. В., van der Lubbe S. C., Moberg M. E. и др., The Lancet Public Health 2026 P. 1–6
Добавлено: 25 июля 2026 г.
Local Fault-Tolerant Routing in 3D Mesh NoCs using Single-Hop Rollback
Edward R. Rzaev, Aleksandr Y. Romanov, Andrey M. Sukhov, IEEE Access 2026 Vol. 14 P. 2169–3536
Добавлено: 23 июля 2026 г.
Библиометрия фольклора: русские пословицы в научных журналах
Писляков В. В., Вестник Томского государственного университета. Филология 2026 № 101 С. 175–192
Исследуется использование паремий в статьях, опубликованных в отечественных научных журналах. В результате поиска по платформе eLIBRARY.RU и постатейного просмотра полных текстов формируется «паремический массив» – набор журнальных статей, вышедших за 2014–2023 гг., в которых встречается одна из десяти исследуемых пословиц. Выделяются только случаи, когда пословицы используются авторами как пришедшиеся к слову изречения, а не как ...
Добавлено: 22 июля 2026 г.
SIGIR '26: Proceedings of the 49th International ACM SIGIR Conference on Research and Development in Information Retrieval
Association for Computing Machinery (ACM), 2026.
Добавлено: 22 июля 2026 г.
Long-range machine-learning potentials with environment-dependent charges enable predicting LO-TO splitting and dielectric constants
Korogod D., Shapeev A., Ivan S. Novikov, Physical Review B: Condensed Matter and Materials Physics 2026 Vol. 114 No. 2 Article 024104
Добавлено: 22 июля 2026 г.
Global optimization of atomic clusters via physically constrained tensor train decomposition
Sozykin K., Rybin N., Chertkov A. и др., Physical Review B: Condensed Matter and Materials Physics 2026 Vol. 113 No. 22 Article 224111
Добавлено: 22 июля 2026 г.
Система здравоохранения России: что можно изменить уже сегодня. Идеи и предложения. 2-е издание, переработанное и дополненное
Авксентьева М. В., Ашихмин Я. И., Ашихмина О. В. и др., М.: ФГБУ "Издательство "Наука", 2023.
Предложены основные направления совершенствования планирования, организации и оплаты медицинской помощи, лекарственного обеспечения, информатизации и оценки технологий здравоохранения. Рекомендованы такие мероприятия, как конкретизация программы государственных гарантий бесплатного оказания гражданам медицинской помощи, создание системы общедоступного лекарственного обеспечения, использование клинико-статистических групп для оплаты медицинской помощи при ряде хронических неинфекционных заболеваний в амбулаторных условиях, формирование механизма привлечения соплатежей при ...
Добавлено: 16 июля 2026 г.
Клиническая и экономическая оценка эффективности современных стратегий скрининга и ранней диагностики рака шейки матки в Российской Федерации
Михайлов И. А., Опухоли женской репродуктивной системы 2025 Т. 21 № 1 С. 86–105
Цель исследования – определить наиболее целесообразную стратегию скрининга и ранней диагностики рака шейки матки (РШМ) в Российской Федерации с точки зрения клинической (диагностической) и экономической эффективности. Материалы и методы. Для оценки клинической (диагностической) эффективности различных стратегий скрининга проведен систематический обзор публикаций об исследованиях, оценивающих эффективность применения цитологического исследования и тестирования на вирус папилломы человека (ВПЧ) с целью диагностики ...
Добавлено: 16 июля 2026 г.
Телемедицинские консультации в детской онкологии – гематологии: современный взгляд на актуальность, проблемы и их решения при оказании профильной медицинской помощи
Иванова А. А., Коган С. А., Горбунова Т. В. и др., Менеджер здравоохранения 2026 № 3 С. 96–105
Актуальность исследования определяется востребованностью проведения телемедицинских консультаций (ТМК),как одного из направлений цифровизации здравоохранения России. В течение последних лет телемедицина, вне зависимости от направления, продолжает доказывать свою значимую эффективность, экономя ресурсы здравоохранения безпотери качества оказания медицинской помощи. Проведение ТМК регулируется серьезной нормативно-правовой базойна федеральном уровне. Количество ТМК по профилю «Детская онкология и гематология» с каждым годом ...
Добавлено: 16 июля 2026 г.
WSI-GT: Pseudo-Label Guided Graph Transformer for Whole-Slide Histology
Михайлов И. А., Machine Learning and Knowledge Extraction 2026 Vol. 8 No. 1 Article 8
Whole-slide histology images (WSIs) can exceed 100 k × 100 k pixels, making direct pixel-level segmentation infeasible and requiring patch-level classification as a practical alternative for downstream WSI segmentation. However, most approaches either treat patches independently, ignoring spatial and biological context, or rely on deep graph models prone to oversmoothing and loss of local tissue ...
Добавлено: 16 июля 2026 г.
Оценка социальных эффектов от внедрения системы организационных мероприятий для совершенствования оказания медицинской помощи при онкологических заболеваниях на региональном уровне в субъектах Центрального федерального округа
Хайлова Ж. В., Омельяновский В. В., Михайлов И. А. и др., Менеджер здравоохранения 2026 № 4 С. 41–52
Актуальность проблемы организации эффективной медицинской помощи онкологическим пациентам определяется устойчивой тенденцией к росту заболеваемости злокачественными новообразованиями, высокой долей этой патологии в структуре общей смертности, а также значительными медико-демографическими и социально-экономическими потерями для общества.Цель исследования: провести оценку социальных эффектов от внедрения системы организационных мероприятий для совершенствования оказания медицинской помощи при онкологических заболеваниях на региональном уровне в ...
Добавлено: 16 июля 2026 г.
Социологическое исследование влияния комплекса организационных мероприятий по внедрению инновационных медицинских технологий в многопрофильном стационаре на качество жизни пациентов
Михайлов И. А., Здоровье мегаполиса 2026 Т. 7 № 2 С. 7–16
Цель исследования – определение влияния комплекса организационных мероприятий по внедрению инновационных медицинских технологий в многопрофильном стационаре на качество жизни пациентов на основе их индивидуальных оценок (самооценок). Результаты. Пациенты, получавшие помощь с применением инновационных медицинских технологий в рамках системного организационного подхода, продемонстрировали значительно более высокий уровень общей удовлетворенности качеством медицинской помощи. Средний балл в данной группе составил 4,67 ...
Добавлено: 16 июля 2026 г.
Международные подходы к оценке сложности труда специалистов с высшим медицинским образованием (врачей) разных специальностей
Ахапкина Е. С., Омельяновский В. В., Тулупова О. Н. и др., Медицинские технологии. Оценка и выбор 2026 Т. 48 № 2 С. 70–77
ЦЕЛЬ ИССЛЕДОВАНИЯ Проанализировать международные подходы к оценке сложности труда специалистов с высшим медицинским образованием (врачей) разных специальностей. МАТЕРИАЛ И МЕТОДЫ Выполнен систематический поиск и проведен контент-анализ зарубежных и отечественных научных публикаций и документов, в которых рассматривались системы оценки сложности труда специалистов с высшим медицинским образованием (врачей) разных специальностей. Группой экспертов из состава авторов исследования проведены обсуждение и определение значимых факторов оценки сложности. РЕЗУЛЬТАТЫ В рамках исследования выявлены и описаны два основных подхода, применяющихся ...
Добавлено: 16 июля 2026 г.
Phase-1 study of vamotinib (PF-114), a 3rd generation BCR::ABL1 tyrosine kinase-inhibitor, in chronic myeloid leukaemia
Михайлов И. А., Annals of Hematology 2025 Vol. 104 P. 2707–2715
Добавлено: 16 июля 2026 г.
On the construction of Barnes–Wall lattices and their application in cryptography
Кунинец А. А., Малыгина Е. С., Leevik A. G. и др., Journal of Computer Virology and Hacking Techniques 2026 No. 22 Article 62
Добавлено: 16 июля 2026 г.
Shared environment, shared mechanisms: comparing pathways to mental health outcomes among indigenous youth and youth with other ethnic backgrounds
Arina Bukina, Ерицян К. Ю., Антонова Н. А. и др., Frontiers in Psychology 2026 Vol. 17 Article 1824428
Добавлено: 15 июля 2026 г.
Tencent и Open Source. Как относится к открытому ПО самый дорогой бренд Китая?
Силаков Д. В., Системный администратор 2026 № 5 С. 46–51
В предыдущей статье про Open Source в КНР [1] мы рассказали про Alibaba – крупную корпорацию, занимающую тридцатое место в рейтинге самых значимых мировых брэндов за 2025 год [2]. Место почетное, но не первое среди китайских компаний – на тринадцатом месте расположилась Tencent, разработчик WeChat и ряда других продуктов, широко используемых нашими восточными соседями. Tencent ...
Добавлено: 14 июля 2026 г.
Имитационное моделирование исполнимых BPMN-схем
Дерябин А. И., [б.и.], 2026.
Учебно-методическое пособие предназначено для студентов бакалавриата и магистратуры образовательных программ «Бизнес-информатика» и «программная инженерия» изучающих дисциплины «Архитектура предприятия», «Анализ и совершенствование бизнес-процессов» и «Совершенствование архитектуры предприятия». Рассматриваются основы проектирования, разработки и оптимизации исполнимых моделей бизнес-процессов, реализованных на языке BPMN-2,0. Изучается методика планирования и проведения имитационных экспериментов со схемами бизнес-процессов. Даны основные приемы использования компьютерной программы моделирования исполнимых ...
Добавлено: 5 марта 2026 г.
Логика Хоара для императивного языка, учитывающего некоторые аппаратные ограничения
Ковалев Д. Ю., Чебышевский сборник 2025 Т. 26 № 3 С. 113–124
В статье определен императивный язык программирования, учитывающий аппаратные ограничения вычислителя с набором инструкций RV32I, заданы его синтаксис и аксиоматическая семантика в виде логики Хоара. Необходимость подобного языка определяется невозможностью напрямую применять формальные доказательства, проведенные для программ на языках, не учитывающих аппаратные ограничения, к транслированному коду, исполняющемуся на реальном аппаратном вычислителе. В то же время проведение ...
Добавлено: 5 ноября 2025 г.
Оценка моделей LLM по степени готовности решать задачи управления в области ESG
Сторчевой М. А., Мыльников Л. А., Чернышев В. В. и др., / SSRN. Серия "Working Papers". 2025.
Внимание к охране природы принимает все большую значимость для бизнеса с одной стороны в связи с ужесточением в природоохранном законодательстве, а с другой в связи с использованием ESG рейтингов при принятии решений о коммерческой деятельности компаний. Составление рейтинга LLM систем, способных оказывать консультационные услуги в области природоохраны и ESG, позволяет осуществить выбор такой системы для ...
Добавлено: 18 сентября 2025 г.
Определение последовательности реализации проектов программы повышения эффективности бизнес-процессов
Марон А. И., Файнбург Г. Д., Бизнес-информатика 2025 Т. 19 № 1 С. 22–33
Статья посвящена проблеме определения последовательности реализации проектов в программе совершенствования бизнес-процессов организации. Актуальность исследования обусловлена тем, что в сегодняшних условиях наличие совершенных бизнес-процессов является условием даже не успеха, а выживания организации. Совершенствование бизнес-процессов – высокозатратная программа проектов. Проекты программы не могут быть начаты одномоментно из-за ограниченности бюджета и трудовых ресурсов. Возникает задача определения последовательности поэтапной ...
Добавлено: 17 мая 2025 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика конфиденциальности
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору