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, Melbourne, Australia. He has a strong background in Computer Science, Software Engineering, and Business Process Management from the National University of Kyiv-Mohyla Academy, Kyiv, Ukraine, and the Hasso Plattner Institute, Potsdam, Germany.

In March 2012, he received a Ph.D. degree (Dr. rer. nat.) in the scientific discipline of Practical Computer Science from the University of Potsdam, Germany. Artem's industry experience includes internships at Wincor-Nixdorf GmbH in Hamburg, Germany, and SAP Labs in Palo Alto, CA, USA. His research and teaching interests include Distributed and Parallel Systems, Automata Theory, Formal Methods, Information Systems, Software Engineering, and Workflow Management. More recently, he has conducted research on the fundamentals of process analysis, the foundations of behavior abstraction in concurrent systems, and querying of process model repositories.

Find out more about Artem Polyvyanyy's experience

Artem Polyvyanyy's highlights

FEATURED Journal article

Split miner: automated discovery of accurate and simple business process models from event logs

Artem Polyvyanyy's selected work

Process Query Language For Process Mining

Research Contracts

Behavioural Quotients for Precision and Recall in Process Mining

Report

Diagnosis And Prediction Of Business Process Deviances

Research Grant

On the expressive power of behavioral profiles

Journal article

On the suitability of generalized behavioral profiles for process model comparison

Conference Proceedings

Automated discovery of declarative process models with correlated data conditions

Journal article

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 59 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

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

Adriano Augusto, Raffaele Conforti, Marlon Dumas, Marcello La Rosa, Artem Polyvyanyy

Journal article | 2019 | Knowledge and Information Systems

Preface

A Burattin, A Polyvyanyy, SJ Van Zelst

Conference Proceedings | 2019 | CEUR Workshop Proceedings

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

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..

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

Interleaving isotactics - An equivalence notion on behaviour abstractions

Artem Polyvyanyy, Jan Suermeli, Matthias Weidlich

Journal article | 2018 | Theoretical Computer Science

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..

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)

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..

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)

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 ..

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..

Impact-Driven Process Model Repair

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

Journal article | 2017 | ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

Collaborative business process modeling in multi-surface environments

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

Book Chapter | 2017

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

Maximal Structuring of Acyclic Process Models

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

Journal article | 2014 | The Computer Journal

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..

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)

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