Статья
Iskra: A Tool for Process Model Repair
В данной работе представлено приложение для проведения экспериментов в области Process mining и тестирования алгоритмов починки моделей. Подходы и методы 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.
This monograph is the collection of the selected papers from Gdańsk EuroSymposium 2015 on SAND – Systems Analysis and Design. SAND is the classical field of research and education in the area of management information systems (MIS) or, as it is called more frequently in Europe – Business Informatics, almost from its origins. The objective of the EuroSymposium on Systems Analysis and Design is to promote and develop high quality research on all issues related to SAND. It provides a forum forSANDresearchers and practitioners in Europe and beyond to interact, collaborate, and develop their field. Therefore, there were three organizers of the 8th EuroSymposium on Systems Analysis and Design: – SIGSAND – Special Interest Group on Systems Analysis and Design of AIS, – PLAIS – Polish Chapter of AIS, – Department of Business Informatics of University of Gdansk, Poland.
В настоящей статье предложена методика, позволяющая решить актуальную на сегодняшний день задачу по оценке рисков выполнения ремонтных работ на отдельном объекте газотранспортной системы и создания необходимых резервов времени. Для решения поставленной задачи в методике используется комбинация двух статистических приемов: бутстрапа и аппроксимирующих кривых Грама-Шарлье. Бутстрап позволяет проводить скорректированные на смещение оценки значений статистик (моментов) случайной величины, а аппроксимирующие кривые Грамма-Шарлье, - восстанавливать неизвестную функцию распределения времени выполнения ремонтных работ, используя полученные при помощи бутстрапа оценки. Отсекая в полученных функциях распределения соответствующие квантили, и задаваясь требуемым «аппетитом к риску», удается определить разумные плановые сроки выполнения ремонтных работ, а также необходимые резервы времени.
Во второй части работы предложена процедура восстановления неизвестной функции распределения времени выполнения нескольких ремонтных работ, выполняемых параллельно на фрагменте газотранспортной системы (ГТС). Для решения поставленной задачи предложено использовать аппарат порядковых статистик, а также общие формулы аналитической оценки итоговой функции распределения времени выполнения ремонтных работ, используя понятия перманента матрицы. Работа дополнена детальным практическим примером, иллюстрирующим процесс восстановления по малым выборкам неизвестной функции распределения времени параллельного выполнения ремонтных работ на фрагменте ГТС, состоящем из трех объектов, а также использования полученных функций для оценки рисков превышения плановых сроков вывода из эксплуатации фрагмента ГТС.
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.
Предлагается подход к реинжинирингу бизнес-процессов на основе интеграции DSM-платформы и средств Process Mining. Реализация интегрированного инструментария позволяет снизить трудоёмкость работы аналитиков, обеспечить взаимопонимание специалистов.
Process mining – это технология, которая посредством извлечения данных из журнала событий предоставляет различные методы для исследования реального процесса, его улучшения и контроля над ним. В данной статье мы рассматриваем проблему проверки соответствия между высокоуровневой моделью процесса и журналом событий. Проверка соответствия интенсивно изучается в рамках process mining, но в литературе можно найти только методы, позволяющие измерить этот показатель между логом и моделью одного уровня. В статье мы представляем алгоритм проверки соответствия между высокоуровневой моделью процесса (построенной экспертами) и низкоуровневым журналом событий (сгенерированным системой), а также доказываем его применимость.
Журналы событий, сохраняемые современными информационными и техническими системами, как правило, содержат достаточно данных для автоматизированного восстановления моделей соответствующих процессов. Разработано множество алгоритмов для построения моделей процессов, проверки соответствия фактического поведения системы модельному, сравнения моделей процессов, и т.д. Однако возможность быстрого анализа выбираемых пользователями частей журнала до сих пор не нашла полноценной реализации. В статье описан метод многомерного хранения журналов событий для извлечения и анализа процессов, основанный на подходе ROLAP. Результатом анализа журнала является направленный невзвешенный граф, представляющий собою сумму возможных последовательностей событий, упорядоченных по вероятности их возникновения с учетом заданных условий. Разработанный инструмент позволяет выполнять совместный анализ моделей подпроцессов, восстановленных из частей журнала путем задания критериев отбора событий и требуемого уровня детализации модели.
В монографии приведены результаты исследования, посвященного управлению жизненным циклом информационных систем, а также анализу стандартов, сводов знаний и корпоративных методик, использующихся в ИТ-проектах. Приведены характеристики фаз ЖЦИС из практики управления ИТ-проектами, а также практические рекомендации по управлению такими проектами. Книга предназначена для научных работников, сотрудников научно- технических предприятий и работников государственных органов управлений, а также студентов, аспирантов, слушателей бизнес-школ повышения квалификации и переподготовки кадров. Книга содержит практические рекомендации для руководителей ИТ-проектов, а также сотрудников компаний, занимающихся проектной деятельностью в области ИТ-проектов.
The geographic information system (GIS) is based on the first and only Russian Imperial Census of 1897 and the First All-Union Census of the Soviet Union of 1926. The GIS features vector data (shapefiles) of allprovinces of the two states. For the 1897 census, there is information about linguistic, religious, and social estate groups. The part based on the 1926 census features nationality. Both shapefiles include information on gender, rural and urban population. The GIS allows for producing any necessary maps for individual studies of the period which require the administrative boundaries and demographic information.
В данной работе рассматривается пятое уравнение Пенлеве, которое имеет 4 комплексных параметра. Методами степенной геометрии ищутся асимптотические разложения его решений в окрестности его неособой точки z=z0, z0≠0, z0≠∞, при любых значениях параметров уравнения. Показано, что имеется ровно 10 семейств разложений решений уравнения. Все они - по целым степеням локальной переменной z - z0. Из них одно новое; у него произвольный коэффициент при четвертой степени локальной переменной. Одно из семейств однопараметрическое, остальные - двухпараметрические. Доказано, что все разложения сходятся в окрестности (а являющиеся полюсами - в проколотой окрестности) точки z=z0.
В данной работе рассматривается пятое уравнение Пенлеве, которое имеет 4 комплексных параметра α, β, γ, δ. Методами степенной геометрии ищутся асимптотические разложения его решений при x → ∞. При α≠0 найдено 10 степенных разложений с двумя экспоненциальными добавками каждое. Шесть из них - по целым степеням x (они были известны), и четыре по полуцелым (они новые). При α=0 найдено 4 однопараметрических семейства экспоненциальных асимптотик y(x) и 3 однопараметрических семейства сложных разложений x=x(y). Все экспоненциальные добавки, экспоненциальные асимптотики и сложные разложения найдены впервые. Также уточнена техника вычисления экспоненциальных добавок.
В данной работе рассматривается пятое уравнение Пенлеве. Методами степенной геометрии ищутся асимптотические разложения его решений при x → 0. Получено 27 семейств разложений решений уравнения. 19 из них получены из разложений решений шестого уравнения Пенлеве. Среди остальных 8 семейств одно было известно раньше, ещё одно может быть получено из разложения решения третьего уравнения Пенлеве. Новыми являются 3 семейства полуэкзотических разложений, 2 семейства сложных разложений и семейство степенно-логарифмических разложений.
Электронное издание является сборником материалов международной научно-практической конференции "Теория активных систем" (ТАС-2014)