Глава
Iskra: A Tool for Process Model Repair
В книге
Предлагается подход к реинжинирингу бизнес-процессов на основе интеграции DSM-платформы и средств Process Mining. Реализация интегрированного инструментария позволяет снизить трудоёмкость работы аналитиков, обеспечить взаимопонимание специалистов.
В настоящей статье предложена методика, позволяющая решить актуальную на сегодняшний день задачу по оценке рисков выполнения ремонтных работ на отдельном объекте газотранспортной системы и создания необходимых резервов времени. Для решения поставленной задачи в методике используется комбинация двух статистических приемов: бутстрапа и аппроксимирующих кривых Грама-Шарлье. Бутстрап позволяет проводить скорректированные на смещение оценки значений статистик (моментов) случайной величины, а аппроксимирующие кривые Грамма-Шарлье, - восстанавливать неизвестную функцию распределения времени выполнения ремонтных работ, используя полученные при помощи бутстрапа оценки. Отсекая в полученных функциях распределения соответствующие квантили, и задаваясь требуемым «аппетитом к риску», удается определить разумные плановые сроки выполнения ремонтных работ, а также необходимые резервы времени.
Во второй части работы предложена процедура восстановления неизвестной функции распределения времени выполнения нескольких ремонтных работ, выполняемых параллельно на фрагменте газотранспортной системы (ГТС). Для решения поставленной задачи предложено использовать аппарат порядковых статистик, а также общие формулы аналитической оценки итоговой функции распределения времени выполнения ремонтных работ, используя понятия перманента матрицы. Работа дополнена детальным практическим примером, иллюстрирующим процесс восстановления по малым выборкам неизвестной функции распределения времени параллельного выполнения ремонтных работ на фрагменте ГТС, состоящем из трех объектов, а также использования полученных функций для оценки рисков превышения плановых сроков вывода из эксплуатации фрагмента ГТС.
Monitoring and analyzing the operation of enterprises is a key capability of Governance, Risk, and Compliance (GRC) solutions and is relevant for high-risk organizations, such as financial services. The potential of state-of-the-art process mining (data-driven process analysis) is limited by quality issues with transactional data registration and extraction. A novel approach is proposed to address these challenges: the Enterprise Operational Analysis (EOA) founded in DEMO and the Enterprise Operating System (EOS). The EOS is a software system based on enterprise engineering, and stores, interprets, and executes DEMO models as native source code. The EOS provides workflow-like capabilities and supports EOA. Combining the EOS with state-of-the-art process mining offers the following advantages: guaranteed completeness of analysis, elimination of ‘mining’ for events, facilitating process conformance checking, analysis on various levels of granularity from various perspectives. It enables enterprises to systematically analyze, improve and deploy business procedures. A professional business case is analyzed. © Springer International Publishing Switzerland 2015.
Process mining – это технология, которая посредством извлечения данных из журнала событий предоставляет различные методы для исследования реального процесса, его улучшения и контроля над ним. В данной статье мы рассматриваем проблему проверки соответствия между высокоуровневой моделью процесса и журналом событий. Проверка соответствия интенсивно изучается в рамках process mining, но в литературе можно найти только методы, позволяющие измерить этот показатель между логом и моделью одного уровня. В статье мы представляем алгоритм проверки соответствия между высокоуровневой моделью процесса (построенной экспертами) и низкоуровневым журналом событий (сгенерированным системой), а также доказываем его применимость.
The issue contains papers accepted for presentation at the 10th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2016) held in Krasnovidovo, Mozhaysky District, Moscow Oblast, Russia on May 30-June 1, 2016. The paper selection was based on originality and contributions to the field. Each paper was peer-reviewed by at least three referees.
The colloquium’s topics include programming languages, software development tools, embedded and cyber-physical systems, software and hardware verification, formal methods, information security, and others.