Abel Armas Cervantes

Efficient conditional compliance checking of business process models

H Groefsema, NRTP van Beest, A Armas-Cervantes

Journal article  |  2020  |  Computers in Industry

© 2019 Elsevier B.V. When checking compliance of business processes against a set of business rules or regulations, the ability to..

Local Concurrency Detection in Business Process Event Logs

A Armas Cervantes, Marlon Dumas, Marcello La Rosa, Abderrahmane Maaradji

Journal article  |  2019  |  ACM Transactions on Internet Technology

Process mining techniques aim at analysing records generated during the execution of a business process in order to provide insigh..

Measuring Fitness and Precision of Automatically Discovered Process Models: A Principled and Scalable Approach

A Augusto, Abel Armas Cervantes, Raffaele Conforti, Marlon Dumas, Marcello LA ROSA, Daniel Reissner

Report  |  2019

Discovering process maps from event streams

MARLON Dumas

Conference Proceedings  |  2018  |  Proceedings of the 2018 International Conference on Software and System Process - ICSSP '18

© 2018 Association for Computing Machinery. Automated process discovery is a class of process mining methods that allow analysts t..

Abstract and Compare: A Framework for Defining Precision Measures for Automated Process Discovery

A Augusto, A Armas Cervantes, R Conforti, M Dumas, M La Rosa, D Reissner

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

Automated process discovery techniques allow us to extract business process models from event logs. The quality of process models ..

Online conformance checking using behavioural patterns

A Burattin, SJ van Zelst, A Armas-Cervantes, BF van Dongen, J Carmona

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. New and compelling regulations (e.g., the GDPR in Europe) impose tremendous pressure on org..

Interactive and incremental business process model repair

A Armas Cervantes, NRTP van Beest, M La Rosa, M Dumas, L García-Bañuelos

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

© 2017, Springer International Publishing AG. It is common for the observed behavior of a business process to differ from the beha..

Scalable conformance checking of business processes

D Reißner, R Conforti, M Dumas, M La Rosa, A Armas-Cervantes

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

© 2017, Springer International Publishing AG. Given a process model representing the expected behavior of a business process and a..

Incremental and interactive business process model repair in apromore

Marcello La Rosa

Conference Proceedings  |  2017  |  CEUR Workshop Proceedings

This paper presents the integration of a plugin for interactive and incremental business process repair into the Apromore advanced..

Automated compliance verification of business processes in apromore

H Groefsema, NRTP Van Beest, A Armas-Cervantes

Conference Proceedings  |  2017  |  CEUR Workshop Proceedings

This paper presents the integration of two plugins, a declarative process specification generator and a compliance verifier, into ..

Reduction of event structures under history preserving bisimulation

Abel Armas-Cervantes, Paolo Baldan, Luciano Garcia-Banuelos

Journal article  |  2016  |  Journal of Logical and Algebraic Methods in Programming

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

Diagnosing behavioral differences between business process models: An approach based on event structures

Abel Armas-Cervantes, Paolo Baldan, Marlon Dumas, Luciano Garcia-Banuelos

Journal article  |  2016  |  Information Systems

Behavior-based process comparison in Apromore

A Armas-Cervantes, NRTP Van Beest, M Dumas, L García-Bañuelos, ML Rosa

Conference Proceedings  |  2016  |  CEUR Workshop Proceedings

Copyright © 2016 for this paper by its authors. This paper presents the integration of three behavior-based comparison operations ..

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

Behavioral Comparison of Process Models Based on Canonically Reduced Event Structures

Abel Armas-Cervantes, Paolo Baldan, Marlon Dumas, Luciano Garcia-Banuelos

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

BP-Diff: A tool for behavioral comparison of business process models

A Armas-Cervantes, P Baldan, M Dumas, L García-Bañuelos

Conference Proceedings  |  2014  |  CEUR Workshop Proceedings

Copyright © 2014 for this paper by its authors. Copying permitted for private and academic purposes. BP-Diff is a tool for identif..

Event structures as a foundation for process model differencing, Part 1: Acyclic processes

M Dumas, L García-Bañuelos, A Armas-Cervantes

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

This paper considers the problem of comparing process models in terms of their behavior. Given two process models, the problem add..

Fast fully dynamic landmark-based estimation of shortest path distances in very large graphs

K Tretyakov, A Armas-Cervantes, L García-Bãuelos, J Vilo, M Dumas

Conference Proceedings  |  2011  |  Proceedings of the 20th ACM international conference on Information and knowledge management - CIKM '11