User-guided discovery of declarative process models
FM Maggi, AJ Mooij… - 2011 IEEE symposium on …, 2011 - ieeexplore.ieee.org
Process mining techniques can be used to effectively discover process models from logs
with example behaviour. Cross-correlating a discovered model with information in the log …
with example behaviour. Cross-correlating a discovered model with information in the log …
Constraint-based planning and scheduling techniques for the optimized management of business processes
I Barba Rodríguez - 2011 - idus.us.es
A business process (BP) consists of a set of activities which are performed in coordination in
an organizational and technical environment, and which jointly realize a business goal …
an organizational and technical environment, and which jointly realize a business goal …
Learning specifications of interaction protocols and business processes and proving their properties
In this paper we overview our recent research activity concerning the induction of Logic
Programming specifications, and the proof of their properties via Abductive Logic …
Programming specifications, and the proof of their properties via Abductive Logic …
[PDF][PDF] Towards Efficiently Running Workflow Variants by Automated Extraction of Business Rule Conditions.
M Döhring, C Klopper, B Zimmermann - Grundlagen von Datenbanken, 2011 - ceur-ws.org
Efficient workflow variant management is becoming crucial especially for enterprises with a
large process landscape. Our research fosters the combination of business rules for …
large process landscape. Our research fosters the combination of business rules for …