Artem Polyvyanyy

Scenario-based process querying for compliance, reuse, and standardization

Artem Polyvyanyy, Anastasiia Pika, Arthur HM ter Hofstede

Journal article  |  2020  |  Information Systems

Process models constitute valuable artifacts for organizations. A process model formally captures the way an organization works in..

Monotone Precision and Recall Measures for Comparing Executions and Specifications of Dynamic Systems

Artem Polyvyanyy, Andreas Solti, Matthias Weidlich, Claudio Di Ciccio, Jan Mendling

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

The behavioural comparison of systems is an important concern of software engineering research. For example, the areas of specific..

Stochastic-Aware Conformance Checking: An Entropy-Based Approach

SJJ Leemans, A Polyvyanyy

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

Business process management (BPM) aims to support changes and innovations in organizations’ processes. Process mining complements ..

Remodularization Analysis for Microservice Discovery Using Syntactic and Semantic Clustering

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

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

This paper addresses the challenge of automated remodularization of large systems as microservices. It focuses on the analysis of ..

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

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

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

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

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)

© Springer Nature Switzerland AG 2018. The digital economy is highly volatile and uncertain. Ever-changing customer needs and tech..

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

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

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)

© Springer Nature Switzerland AG 2018. The growing impact of IoT and Blockchain platforms on business applications has increased i..

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)

© Springer International Publishing Switzerland 2016. Given two process models, the problem of behavioral comparison is that of de..

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

The Structured Phase of Concurrency

Artem Polyvyanyy, Christoph Bussler

Book Chapter  |  2013

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

Aggregate Quality of Service Computation for Composite Services

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

Conference Proceedings  |  2010  |  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

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

The Biconnected Verification of Workflow Nets

Artem Polyvyanyy, Matthias Weidlich, Mathias Weske

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

Efficient Computation of Causal Behavioural Profiles Using Structural Decomposition

Matthias Weidlich, Artem Polyvyanyy, Jan Mendling, Mathias Weske

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

Unraveling Unstructured Process Models

Marlon Dumas, Luciano Garcia-Banuelos, Artem Polyvyanyy

Conference Proceedings  |  2010  |  Lecture Notes in Business Information Processing

Business Process Model Abstraction

Artem Polyvyanyy, Sergey Smirnov, Mathias Weske

Book Chapter  |  2010

Process Compliance Measurement Based on Behavioural Profiles

Matthias Weidlich, Artem Polyvyanyy, Nirmit Desai, Jan Mendling

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

On application of structural decomposition for process model abstraction

A Polyvyanyy, S Smirnov, M Weske

Conference Proceedings  |  2009  |  Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)

Hypergraph-Based Modeling of Ad-Hoc Business Processes

Artem Polyvyanyy, Mathias Weske

Conference Proceedings  |  2009  |  Lecture Notes in Business Information Processing

Process models are usually depicted as directed graphs, with nodes representing activities and directed edges control flow. While ..

Unveiling Hidden Unstructured Regions in Process Models

Artem Polyvyanyy, Luciano Garcia-Banuelos, Mathias Weske

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

The Triconnected Abstraction of Process Models

Artem Polyvyanyy, Sergey Smirnov, Mathias Weske

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

Companies use business process models to represent their working procedures in order to deploy services to markets, to analyze the..

Reducing complexity of large EPCs

A Polyvyanyy, S Smirnov, M Weske

Conference Proceedings  |  2008  |  Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)

An ontology-based service discovery approach for the provisioning of product-service bundles

R Knackstedt, D Kuropka, O Müller, A Polyvyanyy

Conference Proceedings  |  2008  |  16th European Conference on Information Systems, ECIS 2008

More and more traditional manufacturing companies bundle their products with services to offer integrated solutions. Some of these..

Semantic Querying of Business Process Models

Ahmed Awad, Artem Polyvyanyy, Mathias Weske

Conference Proceedings  |  2008  |  2008 12th International IEEE Enterprise Distributed Object Computing Conference

Flexible Process Graph: A Prologue

Artem Polyvyanyy, Mathias Weske

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

Process Model Abstraction: A Slider Approach

Artem Polyvyanyy, Sergey Smirnov, Mathias Weske

Conference Proceedings  |  2008  |  2008 12th International IEEE Enterprise Distributed Object Computing Conference