Dr Artem Polyvyanyy

Dr. Artem Polyvyanyy is a senior lecturer at the School of Computing and Information Systems, Melbourne School of Engineering, at the University of Melbourne (Australia). He has a strong background in Theoretical Computer Science, Software Engineering, and Business Process Management from the National University of Kyiv-Mohyla Academy (Ukraine), Hasso Plattner Institute (Germany), and the University of Potsdam (Germany).

In March 2012, he received a Ph.D. degree (Dr. rer. nat.) in the scientific discipline of Computer Science from the University of Potsdam (Germany). His research and teaching interests include Computing Systems, Information Systems, Distributed Systems, Process Modeling and Analysis, Data Science, Business Process Management, and Algorithms. Artem Polyvyanyy has published over 60 papers on these topics, including academic book chapters, peer-reviewed journal articles, and refereed papers at international conferences and workshops. He has actively contributed to several open-source initiatives that led to a significant impact on research and practice, including jBPT, Oryx, and Apromore. His research focuses on Process Mining and Process Querying. The research discipline of Process Mining combines studies of inferences from data in Data Mining and Machine Learning with Process Modeling and Analysis to tackle the problems of discovering, monitoring, and improving real-world processes, while Process Querying combines concepts from Big Data and Process Modeling and Analysis with Business Process Intelligence and Process Analytics to study techniques for retrieving and manipulating models of processes, both real-world and envisioned, to systematically extract information for subsequent use.

Find out more about Artem Polyvyanyy's experience

Artem Polyvyanyy's highlights

FEATURED Conference Proceedings

Automated Repair of Process Models Using Non-Local Constraints

Artem Polyvyanyy's selected work

Process Query Language For Process Mining

Research Contracts

Split Miner: Automated Discovery of Accurate and Simple Business Process Models from Event..

Journal article

Diagnosis And Prediction Of Business Process Deviances

Research Grant

Behavioural Quotients for Precision and Recall in Process Mining

Report

On the expressive power of behavioral profiles

Journal article

On the suitability of generalized behavioral profiles for process model comparison

Conference Proceedings

Projects

Displaying the 2 most recent projects by Artem Polyvyanyy.

Process Query Language For Process Mining

2019 - 2019

Completed

Diagnosis And Prediction Of Business Process Deviances

This project aims to develop an innovative approach based on process execution semantics, to analyse event data logged by IT systems in orde..

2018 - 2021

Active

2

Projects

Project Types

Research Contracts

Research Grant

Scholarly Works

Displaying the 62 most recent scholarly works by Artem Polyvyanyy.

Automated discovery of declarative process models with correlated data conditions

V Leno, M Dumas, FM Maggi, M La Rosa, A Polyvyanyy

Journal article | 2020 | Information Systems

Automated process discovery techniques enable users to generate business process models from event logs extracted from enterprise ..

Automated Repair of Process Models Using Non-Local Constraints

Anna Kalenkova, Josep Carmona, Artem Polyvyanyy, Marcello La Rosa

Conference Proceedings | 2020 | Proceedings of the 41st International Conference on Application and Theory of Petri Nets and Concurrency

State-of-the-art process discovery methods construct free-choice process models from event logs. Hence, the constructed models do ..

Robotic Process Mining: Vision and Challenges

Volodymyr Leno, Artem Polyvyanyy, Marcello La Rosa, Marlon Dumas, Fabrizio Maggi

Journal article | 2020 | Business & Information Systems Engineering

Robotic process automation (RPA) is an emerging technology that allows organizations automating repetitive clerical tasks by execu..

Availability and scalability optimized microservice discovery from enterprise systems

AAC De Alwis, A Barros, C Fidge, A Polyvyanyy

Conference Proceedings | 2019 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Microservices have been introduced to industry as a novel architectural design for software development in cloud-based application..

A systematic approach for discovering causal dependencies between observations and incidents in the health and safety domain

Artem Polyvyanyy, Anastasiia Pika, Moe T Wynn, Arthur HM ter Hofstede

Journal article | 2019 | Safety Science

The paper at hand motivates, proposes, demonstrates, and evaluates a novel systematic approach to discovering causal dependencies ..

Monotone Conformance Checking for Partially Matching Designed and Observed Processes

Artem Polyvyanyy, Anna Kalenkova

Conference Proceedings | 2019 | 2019 International Conference on Process Mining (ICPM)

Conformance checking is a subarea of process mining that studies relations between designed processes, also called process models,..

Information Systems Modeling: Language, Veriﬁcation, and Tool Support

Artem Polyvyanyy, Jan Martijn van der Werf, Sietse Overbeek, Rick Brouwers

Conference Proceedings | 2019 | Lecture Notes in Artificial Intelligence

Information and processes are both important aspects of information systems. Nevertheless, most existing languages for modeling in..

Split Miner: Automated Discovery of Accurate and Simple Business Process Models from Event Logs

A Augusto, R Conforti, M Dumas, M La Rosa, A Polyvyanyy

Journal article | 2019 | Knowledge and Information Systems

The problem of automated discovery of process models from event logs has been intensively researched in the past two decades. Desp..

Business object centric microservices patterns

AAC De Alwis, A Barros, C Fidge, A Polyvyanyy

Conference Proceedings | 2019 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

A key impediment towards maturing microservice architecture conceptions is the uncertainty about what it means to design fine-grai..

Comprehensive process drift analysis with the visual drift detection tool

A Yeshchenko, CD Ciccio, J Mendling, A Polyvyanyy

Conference Proceedings | 2019 | CEUR Workshop Proceedings

Recent research has introduced ideas from concept drift into process mining to enable the analysis of changes in business processe..

Action logger: Enabling process mining for robotic process automation

V Leno, A Polyvyanyy, M La Rosa, M Dumas, FM Maggi

Conference Proceedings | 2019 | CEUR Workshop Proceedings

This paper presents a tool, called Action Logger, for recording user interface (UI) logs, i.e., logs of user interactions with inf..

An Assignment on Information System Modeling: On Teaching Data and Process Integration

JMEM van der Werf, A Polyvyanyy

Conference Proceedings | 2019 | Lecture Notes in Business Information Processing

An information system is an integrated system of components that cooperatively aim to collect, store, manipulate, process, and dis..

Information Systems Modeling: Language, Verification, and Tool Support

A Polyvyanyy, JMEM van der Werf, S Overbeek, R Brouwers

Conference Proceedings | 2019 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Information and processes are both important aspects of information systems. Nevertheless, most existing languages for modeling in..

Interleaving Isotactics – An Equivalence Notion on Behaviour Abstractions

A Polyvyanyy, J Sürmeli, M Weidlich

Journal article | 2018 | Theoretical Computer Science

We study the equivalence of models that capture the behaviour of systems, such as process-oriented information systems. We focus o..

Behavioural Quotients for Precision and Recall in Process Mining

A Polyvyanyy, A Solti, M Weidlich, C Di Ciccio, J Mendling

Report | 2018

The comparison of the languages of software systems, i.e., their behaviours in terms of specified executions, is a prerequisite fo..

Function-splitting heuristics for discovery of microservices in enterprise systems

AAC De Alwis, A Barros, A Polyvyanyy, C Fidge

Conference Proceedings | 2018 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

We present heuristics that help to identify suitable consumer-oriented parts of enterprise systems which could be re-engineered as..

Process forecasting: Towards proactive business process management

R Poll, A Polyvyanyy, M Rosemann, M Röglinger, L Rupprecht

Conference Proceedings | 2018 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Business Process Querying

Artem Polyvyanyy

Reference Work | 2018

Business process querying studies methods for managing, e.g., filtering and/or manipulating, repositories of models that describe ..

Discovering microservices in enterprise systems using a business object containment heuristic

AAC De Alwis, A Barros, C Fidge, A Polyvyanyy

Conference Proceedings | 2018 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Process querying: Enabling business intelligence through query-based process analytics

Artem Polyvyanyy, Chun Ouyang, Alistair Barros, Wil MP van der Aalst

Journal article | 2017 | Decision Support Systems

The volume of process-related data is growing rapidly: more and more business operations are being supported and monitored by info..

Collaborative business process modeling in multi-surface environments

A Nolte, R Brown, C Anslow, M Wiechers, A Polyvyanyy, T Herrmann

Book Chapter | 2017

Impact-Driven Process Model Repair

Artem Polyvyanyy, Wil MP Van der Aalst, Arthur HM Ter Hofstede, Moe T Wynn

Journal article | 2016 | ACM Transactions on Software Engineering and Methodology

The abundance of event data in today’s information systems makes it possible to “confront” process models with the actual observed..

On the expressive power of behavioral profiles

Artem Polyvyanyy, Abel Armas-Cervantes, Marlon Dumas, Luciano Garcia-Banuelos

Journal article | 2016 | Formal Aspects of Computing

Behavioral profiles have been proposed as a behavioral abstraction of dynamic systems, specifically in the context of business pro..

On the suitability of generalized behavioral profiles for process model comparison

A armas-cervantes, M Dumas, A Polyvyanyy

Conference Proceedings | 2016 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Untanglings: a novel approach to analyzing concurrent systems

Artem Polyvyanyy, Marcello La Rosa, Chun Ouyang, Arthur HM ter Hofstede

Journal article | 2015 | Formal Aspects of Computing

Substantial research efforts have been expended to deal with the complexity of concurrent systems that is inherent to their analys..

Process querying in apromore

M La Rosa, Artem Polyvyanyy, Luigi Corno, Raffaele Conforti, Simon Raboczi, Giancarlo Fortino

Conference Proceedings | 2015 | CEUR Workshop Proceedings

Process querying addresses the problem of automatically retrieving process models from collections thereof on the basis of user-de..

Business process model abstraction

A Polyvyanyy, S Smirnov, M Weske

Book Chapter | 2015

Supporting Process Model Validation through Natural Language Generation

Henrik Leopold, Jan Mendling, Artem Polyvyanyy

Journal article | 2014 | IEEE Transactions on Software Engineering

Indexing and Efficient Instance-Based Retrieval of Process Models Using Untanglings

Artem Polyvyanyy, Marcello La Rosa, Arthur HM ter Hofstede

Conference Proceedings | 2014 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Process-Aware Information Systems (PAISs) support executions of operational processes that involve people, resources, and software..

Maximal Structuring of Acyclic Process Models

Artem Polyvyanyy, Luciano Garcia-Banuelos, Dirk Fahland, Mathias Weske

Journal article | 2014 | The Computer Journal

The 4C spectrum of fundamental behavioral relations for concurrent systems

A Polyvyanyy, M Weidlich, R Conforti, M La Rosa, AHM Ter Hofstede

Conference Proceedings | 2014 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

The design of concurrent software systems, in particular process-aware information systems, involves behavioral modeling at variou..

APQL: A Process-Model Query Language

Arthur HM ter Hofstede, Chun Ouyang, Marcello La Rosa, Liang Song, Jianmin Wang, Artem Polyvyanyy

Conference Proceedings | 2013 | Lecture Notes in Business Information Processing

Towards a compendium of process technologies the jBPT library for process model analysis

A Polyvyanyy, M Weidlich

Conference Proceedings | 2013 | CEUR Workshop Proceedings

This paper presents the idea of a compendium of process technologies, i.e., a concise but comprehensive collection of techniques f..

Weak conformance of process models with respect to data objects

A Meyer, A Polyvyanyy, M Weske

Conference Proceedings | 2012 | CEUR Workshop Proceedings

Generating natural language texts from business process models

H Leopold, J Mendling, A Polyvyanyy

Conference Proceedings | 2012 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Structuring acyclic process models

Artem Polyvyanyy, Luciano Garcia-Banuelos, Marlon Dumas

Journal article | 2012 | Information Systems

Generalized aggregate Quality of Service computation for composite services

Yong Yang, Marlon Dumas, Luciano Garcia-Banuelos, Artem Polyvyanyy, Liang Zhang

Journal article | 2012 | Journal of Systems and Software

This article addresses the problem of estimating the Quality of Service (QoS) of a composite service given the QoS of the services..

Isotactics as a Foundation for Alignment and Abstraction of Behavioral Models

Artem Polyvyanyy, Matthias Weidlich, Mathias Weske

Conference Proceedings | 2012 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

There are many use cases in business process management that require the comparison of behavioral models. For instance, verifying ..

Process compliance analysis based on behavioural profiles

Matthias Weidlich, Artem Polyvyanyy, Nirmit Desai, Jan Mendling, Mathias Weske

Journal article | 2011 | Information Systems

Optimization of Complex QoS-Aware Service Compositions

Dieter Schuller, Artem Polyvyanyy, Luciano Garcia-Banuelos, Stefan Schulte

Conference Proceedings | 2011 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Simplified Computation and Generalization of the Refined Process Structure Tree

Artem Polyvyanyy, Jussi Vanhatalo, Hagen Voelzer

Conference Proceedings | 2011 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

A business process is often modeled using some kind of a directed flow graph, which we call a workflow graph. The Refined Process ..

Causal Behavioural Profiles - Efficient Computation, Applications, and Evaluation

Matthias Weidlich, Artem Polyvyanyy, Jan Mendling, Mathias Weske

Conference Proceedings | 2011 | Fundamenta Informaticae

Connectivity of workflow nets: the foundations of stepwise verification

Artem Polyvyanyy, Matthias Weidlich, Mathias Weske

Journal article | 2011 | Acta Informatica

Behavioral models capture operational principles of real-world or designed systems. Formally, each behavioral model defines the st..

Flexible Service Systems

Artem Polyvyanyy, Mathias Weske

Book Chapter | 2011

Service science combines scientific, management, and engineering disciplines to improve the understanding of how service systems c..

Structural abstraction of process specifications

A Polyvyanyy

Conference Proceedings | 2010 | CEUR Workshop Proceedings

On separation of concurrency and conflicts in acyclic process models

F Elliger, A Polyvyanyy, M Weske

Conference Proceedings | 2010 | EMISA 2010 -Beitrage des Workshops der GI-Fachgruppe Entwicklungsmethoden fur Informationssysteme und Deren Anwendung