Filtros de búsqueda

Lista de obras de Wil van der Aalst

A Decade of Business Process Management Conferences: Personal Reflections on a Developing Discipline

article

A Framework for the Systematic Comparison and Evaluation of Compliance Monitoring Approaches

A General Framework for Correlating Business Process Characteristics

A Knowledge-Based Integrated Approach for Discovering and Repairing Declare Maps

article published in 2013

A Reference Model for Grid Architectures and Its Analysis

A formal modeling approach for supply chain event management

scholarly article by Rong Liu et al published April 2007 in Decision Support Systems

A general process mining framework for correlating, predicting and clustering dynamic behavior based on event logs

A novel approach for process mining based on event types

A pattern-based analysis of clinical computer-interpretable guideline modeling languages

artículo científico publicado en 2007

A recommendation system for predicting risks across multiple business process instances

scholarly article by Raffaele Conforti et al published January 2015 in Decision Support Systems

A reference model for grid architectures and its validation

article

APROMORE: An advanced process model repository

article

Abstractions in Process Mining: A Taxonomy of Patterns

Activity Mining by Global Trace Segmentation

Advanced Synchronization

Aggregating Causal Runs into Workflow Nets

Agile development with software process mining

article

Aligning Event Logs and Declarative Process Models for Conformance Checking

Aligning Event Logs and Process Models for Multi-perspective Conformance Checking: An Approach Based on Integer Linear Programming

article published in 2013

An Analysis of Windows Workflow's Control-Flow Expressiveness

An Extensible Framework for Analysing Resource Behaviour Using Event Logs

An Infrastructure for Cost-Effective Testing of Operational Support Algorithms Based on Colored Petri Nets

An Operational Decision Support Framework for Monitoring Business Constraints

An alignment-based framework to check the conformance of declarative process models and to preprocess event-log data

Analysis of Patient Treatment Procedures

Analyzing Resource Behavior Using Process Mining

Analyzing Vessel Behavior Using Process Mining

Analyzing inter-organizational business processes

Assessing Process Discovery Scalability in Data Intensive Environments

Automatic Support for Product Based Workflow Design: Generation of Process Models from a Product Data Model

Avoiding Over-Fitting in ILP-Based Process Discovery

BISE and the Engineering Sciences

BISE – Call for Papers Issue 1/2016

BPR Best Practices for the Healthcare Domain

article

Balanced multi-perspective checking of process conformance

Behavioral Conformance of Artifact-Centric Process Models

article published in 2011

Behavioral Service Substitution

Beyond Process Mining: From the Past to Present and Future

article published in 2010

Big software on the run: in vivo software analytics based on process mining (keynote)

artículo científico publicado en 2015

Blockchains for Business Process Management - Challenges and Opportunities

Building instance graphs for highly variable processes

article by Claudia Diamantini et al published October 2016 in Expert Systems with Applications

Business Process Management in the Large

article

Business Process Management: A Comprehensive Survey

Business Process Simulation Revisited

Business Process Simulation Survival Guide

Business Process Simulation for Operational Decision Support

Business Trend Analysis by Simulation

Business process management: Where business processes and web services meet

article by Wil van der Aalst et al published April 2007 in Data and Knowledge Engineering

Case Handling Systems as Product Based Workflow Design Support

artículo científico publicado en 2008

Case handling: a new paradigm for business process support

article by Wil van der Aalst et al published May 2005 in Data and Knowledge Engineering

Causal Nets: A Modeling Language Tailored towards Process Discovery

Challenges in Business Process Analysis

Challenges in Service Mining: Record, Check, Discover

Change Point Detection and Dealing with Gradual and Multi-order Dynamics in Process Mining

article

Change your history: Learning from event logs to improve processes

article published in 2015

Comparative Process Mining in Education: An Approach Based on Process Cubes

Comparing Business Processes to Determine the Feasibility of Configurable Models: A Case Study

article published in 2012

Complexity metrics for Workflow nets

Compliance monitoring in business processes: Functionalities, application, and tool-support

artículo científico publicado en 2015

Compositional Service Trees

article

Conceptual model for online auditing

article

Configurable Declare: Designing Customisable Flexible Process Models

Configurable Process Models — A Foundational Approach

Configurable Process Models: Experiences from a Municipality Case Study

Configurable Reference Modeling Languages

Configurable Services in the Cloud: Supporting Variability While Enabling Cross-Organizational Process Mining

Configuring Configurable Process Models Made Easier: An Automated Approach

article by D. M. M. Schunselaar et al published 2015 in Lecture Notes in Business Information Processing

Conformance Checking Based on Partially Ordered Event Data

Conformance Checking in the Large: Partitioning and Topology

Conformance Checking of Interacting Processes with Overlapping Instances

article by Dirk Fahland et al published 2011 in Lecture Notes in Computer Science

Conformance Checking of Services Using the Best Matching Private View

Conformance checking in healthcare based on partially ordered event data

article

Conformance checking of service behavior

Connecting Databases with Process Mining: A Meta Model and Toolset

Context-Aware Compliance Checking

comp sci article in LNCS

Control-flow discovery from event streams

Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis

Correctness-Preserving Configuration of Business Process Models

Cost-Informed Operational Process Support

Creating Sound and Reversible Configurable Process Models Using CoSeNets

DECLARE: Full Support for Loosely-Structured Processes

Data- and Resource-Aware Conformance Checking of Business Processes

article published in 2012

Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows

article by Nikola Trčka et al published 2009 in Lecture Notes in Computer Science

Data-aware process mining

scholarly article published 2013

Deadline-based escalation in process-aware information systems

Dealing with concept drifts in process mining.

artículo científico publicado en 2014

Decision Mining Revisited - Discovering Overlapping Rules

Declarative Workflow

Declarative and Procedural Approaches for Modelling Clinical Guidelines: Addressing Flexibility Issues

Declarative process mining in healthcare

article

Declarative specification and verification of service choreographiess

article published in 2010

Decomposed Process Mining: The ILP Case

Decomposing Petri nets for process mining: A generic approach

Decomposing Process Mining Problems Using Passages

Definition and Validation of Process Mining Use Cases

Designing a Workflow System Using Coloured Petri Nets

article by Nick C. Russell et al published 2009 in Lecture Notes in Computer Science

Detecting Deviating Behaviors Without Models

Dimensions of coupling in middleware

Disciplinary Pluralism, Flagship Conferences, and Journal Submissions

Discovering Block-Structured Process Models from Event Logs - A Constructive Approach

article

Discovering Block-Structured Process Models from Event Logs Containing Infrequent Behaviour

Discovering Block-Structured Process Models from Incomplete Event Logs

Discovering Hierarchical Process Models Using ProM

Discovering Petri Nets from Event Logs

Discovering Process Models with Genetic Algorithms Using Sampling

Discovering Queues from Event Logs with Varying Levels of Information

article published in 2016

Discovering Social Networks from Event Logs

Discovering and Exploring State-Based Models for Multi-perspective Processes

Discovering high-level BPMN process models from event data

Discovering signature patterns from event logs

Discovery of Frequent Episodes in Event Logs

article

Distributed Genetic Process Mining Using Sampling

article published in 2011

Distributed Process Discovery and Conformance Checking

Distributed genetic process mining

Dynamic and Context-Aware Process Adaptation

Efficient Discovery of Understandable Declarative Process Models from Event Logs

Enabling process mining on sensor data from smart products

Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance

Enhancing Declare Maps Based on Event Correlations

article published in 2013

Ensuring correctness during process configuration via partner synthesis

Epilogue

Evaluating a Data Removal Strategy for Grid Environments Using Colored Petri Nets

Evaluating workflow process designs using cohesion and coupling metrics

Event interval analysis: Why do processes take time?

Exploring Processes and Deviations

Exploring the CSCW spectrum using process mining

Formal semantics and analysis of control flow in WS-BPEL

article

From BPMN Process Models to BPEL Web Services

From Low-Level Events to Activities - A Pattern-Based Approach

From Public Views to Private Views – Correctness-by-Design for Services

article by Wil van der Aalst et al published 2008 in Lecture Notes in Computer Science

From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems

From conceptual process models to running systems: A holistic approach for the configuration of enterprise system processes

From task descriptions via colored Petri nets towards an implementation of a new electronic patient record workflow system

Generating Event Logs with Workload-Dependent Speeds from Simulation Models

Handling Concept Drift in Process Mining

article by R. P. Jagadeesh Chandra Bose et al published 2011 in Lecture Notes in Computer Science

Handling Duplicated Tasks in Process Discovery by Refining Event Labels

article by Xixi Lu et al published 2016 in Lecture Notes in Computer Science

Hierarchical Conformance Checking of Process Models Based on Event Logs

History-Dependent Stochastic Petri Nets

article published in 2010

Implementation of a YAWL Work-List Handler based on the Resource Patterns

Improving Product Usage Monitoring and Analysis with Semantic Concepts

Inheritance of behavior

article published in 2001

Inter-enterprise System and Application Integration: A Reality Check

Interacting agents through a web-based health serviceflow management system

artículo científico

Intra- and Inter-Organizational Process Mining: Discovering Processes within and between Organizations

Introduction

Introduction

Linking Domain Models and Process Models for Reference Model Configuration

article

Liveness, fairness, and recurrence in Petri nets

Loosely coupled interorganizational workflows:

Managing Process Model Complexity Via Abstract Syntax Modifications

article

Managing Process Model Complexity via Concrete Syntax Modifications

article

Matching observed behavior and modeled behavior: An approach based on Petri nets and integer programming

Measuring the Precision of Multi-perspective Process Models

article published in 2016

Mediating between modeled and observed behavior: The quest for the “right” process: Keynote

Merging Event-Driven Process Chains

Mining Context-Dependent and Interactive Business Process Maps Using Execution Patterns

Mining Inter-organizational Business Process Models from EDI Messages: A Case Study from the Automotive Sector

article

Mining of ad-hoc business processes with TeamLog

Mining process models with non-free-choice constructs

article

Mining process models with prime invisible tasks

Model repair — aligning process models to reality

article

Model-Based Development and Testing of Process-Aware Information Systems

article

Model-Driven Enterprise Systems Configuration

Model-based software configuration: patterns and languages

article

Modelling work distribution mechanisms using Colored Petri Nets

Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata

Monitoring business constraints with the event calculus

Multidimensional Process Mining Using Process Cubes

On a Quest for Good Process Models: The Cross-Connectivity Metric

On the Formal Generation of Process Redesigns

On the Notion of Coupling in Communication Middleware

article by Lachlan Aldred et al published 2005 in Lecture Notes in Computer Science

On the Role of Fitness, Precision, Generalization and Simplicity in Process Discovery

Online conformance checking: relating event streams to process models using prefix-alignments

Ontology-Driven Extraction of Event Logs from Relational Databases

Open Source Workflow: A Viable Direction for BPM?

PM $$^2$$ : A Process Mining Project Methodology

Pattern-Based Analysis of the Control-Flow Perspective of UML Activity Diagrams

Pattern-based analysis of computer-interpretable guidelines: Don’t forget the context

article published in 2012

Patterns of Process Modeling

Patterns-based evaluation of open source BPM systems: The cases of jBPM, OpenWFE, and Enhydra Shark

Performing Business Process Redesign with Best Practices: An Evolutionary Approach

Preserving correctness during business process model configuration

article

Process Discovery Using Localized Events

Process Flexibility: A Survey of Contemporary Approaches

Process Mining

Process Mining

Process Mining

Process Mining

Process Mining Based on Clustering: A Quest for Precision

Process Mining Manifesto

artículo científico publicado en 2012

Process Mining Put into Context

Process Mining and Simulation

Process Mining for Electronic Data Interchange

article

Process Mining in the Large: A Tutorial

article published in 2014

Process Mining on Databases: Unearthing Historical Data from Redo Logs

Process Mining: Discovery, Conformance and Enhancement of Business Processes

book by Wil M.P. van der Aalst, published in 2011

Process Model Discovery: A Method Based on Transition System Decomposition

article

Process diagnostics using trace alignment: Opportunities, issues, and challenges

article published in 2012

Process mining

Process mining

Process mining can be applied to software too!

scholarly article published 2014

Process mining in software systems: Discovering real-life business transactions and process models from distributed systems

scholarly article published September 2015

Process mining techniques: an application to stroke care

artículo científico publicado en 2008

Process mining using BPMN: relating event logs and process models

Process mining: a two-step approach to balance between underfitting and overfitting

article by Wil van der Aalst et al published 25 November 2008 in Software and Systems Modeling

Process-Aware Information Systems: Lessons to Be Learned from Process Mining

article published in 2009

Process-oriented architectures for electronic commerce and interorganizational workflow

article by Wil van der Aalst published December 1999 in Information Systems

Processes Meet Big Data: Connecting Data Science with Process Science

scholarly article by Wil van der Aalst & Ernesto Damiani published 1 November 2015 in IEEE transactions on services computing

Proclets in healthcare

article

Product Based Workflow Support: Dynamic Workflow Execution

Product-based workflow support

Profiling Event Logs to Configure Risk Indicators for Process Delays

Questionnaire-based variability modeling for system configuration

Repairing Event Logs Using Timed Process Models

Repairing Process Models to Reflect Reality

Replaying history on process models for conformance checking and performance analysis

article

Reusing a Declarative Specification to Check the Conformance of Different CIGs

Runtime Verification of LTL-Based Declarative Process Models

Scalable Process Discovery with Guarantees

Scalable process discovery and conformance checking.

artículo científico publicado en 2016

Schedule-Aware Workflow Management Systems

Scientific workflows for process mining: building blocks, scenarios, and implementation

Service Discovery from Observed Behavior while Guaranteeing Deadlock Freedom in Collaborations

Service Interaction: Patterns, Formalization, and Analysis

Simplifying Mined Process Models: An Approach Based on Unfoldings

Simplifying discovered process models in a controlled manner

Simulation to Analyze the Impact of a Schedule-aware Workflow Management System

Single-Entry Single-Exit decomposed conformance checking

article by Jorge Munoz-Gama et al published December 2014 in Information Systems

Soundness and Niceness as Correctness Criteria for Grid Workflows

Soundness of Workflow Nets with Reset Arcs

Spreadsheets for business process management

Strategies for Modeling Complex Processes Using Colored Petri Nets

Supervisory control service for supporting flexible processes

Supporting Domain Experts to Select and Configure Precise Compliance Rules

Supporting Flexible Processes through Recommendations Based on History

Supporting Flexible Processes with Adaptive Work?ow and Case Handling

scholarly article published 2008

Supporting Risk-Informed Decisions during Business Process Execution

Supporting the Full BPM Life-Cycle Using Process Mining and Intelligent Redesign

Techniques for a Posteriori Analysis of Declarative Processes

The Declare Service

The Need for a Process Mining Evaluation Framework in Research and Practice

The effectiveness of workflow management systems: Predictions and lessons learned

TomTom for Business Process Management (TomTom4BPM)

Towards Cross-Organizational Process Mining in Collections of Process Models and Their Executions

Towards Improving the Representational Bias of Process Mining

article

Towards comprehensive support for organizational mining

Trace Alignment in Process Mining: Opportunities for Process Diagnostics

Trace Clustering Based on Conserved Patterns: Towards Achieving Better Process Models

article published in 2010

Trace Clustering in Process Mining

Translating unstructured workflow processes to readable BPEL: Theory and implementation

Turning event logs into process movies: animating what has really happened

User-guided discovery of declarative process models

Using Life Cycle Information in Process Discovery

article published in 2016

Using Process Mining to Bridge the Gap between BI and BPM

Verification Of Workflow Task Structures: A Petri-net-baset Approach

Verifying workflow processes: a transformation-based approach

Visual support for work assignment in process-aware information systems: Framework formalisation and implementation

article published in 2012

Wanna improve process mining results?

When Process Mining Meets Bioinformatics

Where Did I Misbehave? Diagnostic Information in Compliance Checking

article by Elham Ramezani et al published 2012 in Lecture Notes in Computer Science

WofBPEL: A Tool for Automated Analysis of BPEL Processes

Work Distribution and Resource Management in BPEL4People: Capabilities and Opportunities

Workflow Data Patterns: Identification, Representation and Tool Support

article by Nick Russell et al published 2005 in Lecture Notes in Computer Science

Workflow Exception Patterns

Workflow completion patterns

XES, XESame, and ProM 6

YAWL in the Cloud: Supporting Process Sharing and Variability

YAWL4Healthcare

article