|
|
|
|
Monitoring Business Metaconstraints Based on LTL and LDL for Finite Traces |
|
|
1 | (17) |
|
|
|
|
|
|
|
|
|
|
|
Hierarchical Declarative Modelling with Refinement and Sub-processes |
|
|
18 | (16) |
|
|
|
|
|
|
|
Discovering Target-Branched Declare Constraints |
|
|
34 | (17) |
|
|
|
|
|
|
|
User-Centered Process Approaches |
|
|
|
Crowd-Based Mining of Reusable Process Model Patterns |
|
|
51 | (16) |
|
|
|
|
|
|
|
A Recommender System for Process Discovery |
|
|
67 | (17) |
|
|
|
|
|
|
|
|
|
Listen to Me: Improving Process Model Matching through User Feedback |
|
|
84 | (17) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Beyond Tasks and Gateways: Discovering BPMN Models with Subprocesses, Boundary Events and Activity Markers |
|
|
101 | (17) |
|
|
|
|
|
|
|
|
|
A Genetic Algorithm for Process Discovery Guided by Completeness, Precision and Simplicity |
|
|
118 | (16) |
|
|
|
|
|
|
|
Constructs Competition Miner: Process Control-Flow Discovery of BP-Domain Constructs |
|
|
134 | (17) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Chopping Down Trees vs. Sharpening the Axe -- Balancing the Development of BPM Capabilities with Process Improvement |
|
|
151 | (17) |
|
|
|
|
|
|
|
Implicit BPM: A Business Process Platform for Transparent Workflow Weaving |
|
|
168 | (16) |
|
|
|
|
|
|
|
|
|
Modeling Concepts for Internal Controls in Business Processes -- An Empirically Grounded Extension of BPMN |
|
|
184 | (16) |
|
|
|
|
|
Resource and Time Management in BPM |
|
|
|
Mining Resource Scheduling Protocols |
|
|
200 | (17) |
|
|
|
|
|
|
|
|
|
Dealing with Changes of Time-Aware Processes |
|
|
217 | (17) |
|
|
|
|
|
Temporal Anomaly Detection in Business Processes |
|
|
234 | (16) |
|
|
|
|
|
|
|
|
A General Framework for Correlating Business Process Characteristics |
|
|
250 | (17) |
|
|
|
|
|
|
|
Behavioral Comparison of Process Models Based on Canonically Reduced Event Structures |
|
|
267 | (16) |
|
|
|
|
|
|
|
|
|
Where Did I Go Wrong? Explaining Errors in Business Process Models |
|
|
283 | (18) |
|
|
|
|
|
|
|
|
User-Friendly Property Specification and Process Verification -- A Case Study with Vehicle-Commissioning Processes |
|
|
301 | (16) |
|
|
|
|
|
|
|
|
|
|
|
Analysis of Operational Data for Expertise Aware Staffing |
|
|
317 | (16) |
|
|
|
|
|
|
|
From a Family of State-Centric PAIS to a Configurable and Parameterized Business Process Architecture |
|
|
333 | (16) |
|
|
|
|
|
Short Papers: Process Enabled Environments |
|
|
|
DRain: An Engine for Quality-of-Result Driven Process-Based Data Analytics |
|
|
349 | (8) |
|
|
|
|
|
|
|
|
|
|
|
Use Your Best Device! Enabling Device Changes at Runtime |
|
|
357 | (9) |
|
|
|
|
|
|
|
Specifying Flexible Human Behavior in Interaction-Intensive Process Environments |
|
|
366 | (8) |
|
|
|
|
|
|
|
Separating Execution and Data Management: A Key to Business-Process-as-a-Service (BPaaS) |
|
|
374 | (9) |
|
|
|
|
|
|
|
Assessing the Need for Visibility of Business Processes -- A Process Visibility Fit Framework |
|
|
383 | (9) |
|
|
|
|
|
|
|
|
|
Short Papers: Discovery and Monitoring |
|
|
|
The Automated Discovery of Hybrid Processes |
|
|
392 | (8) |
|
|
|
|
|
|
|
Declarative Process Mining: Reducing Discovered Models Complexity by Pre-Processing Event Logs |
|
|
400 | (8) |
|
Pedro H. Piccoli Richetti |
|
|
|
|
|
|
SECPI: Searching for Explanations for Clustered Process Instances |
|
|
408 | (8) |
|
|
|
|
|
Business Monitoring Framework for Process Discovery with Real-Life Logs |
|
|
416 | (8) |
|
|
|
|
|
Predictive Task Monitoring for Business Processes |
|
|
424 | (9) |
|
|
|
|
|
|
|
|
| Author Index |
|
433 | |
Lisainfo e-raamatute kohta