Di Ciccio, Claudio, de Leoni, Massimiliano, Mendling, Jan, H. M. Schouten, Mitchel. 2015. Declarative Process Discovery with MINERful in ProM. In Proceedings of the BPM Demo Session 2015, Co-located with the 13th International Conference on Business Process Management (BPM 2015), Innsbruck, Austria, Sept 2, Hrsg. Florian Daniel, Stefan Zugal, S. 60-64. Innsbruck, Austria: CEUR WS.
BibTeX
Abstract
Declarative process models consist of a set of constraints exerted over the execution of process activities. DECLARE is a declarative process modelling language that specifies a set of constraint templates along with their graphical notation. The automated discovery of DECLARE models aims at finding those constraints that are verified throughout a given event log. In this paper, we present a fast scalable tool for mining DECLARE models in ProM. Its usage is described with its application on a use case, based on a publicly available real-life benchmark.
Tags
Press 'enter' for creating the tagPublication's profile
Status of publication | Published |
---|---|
Affiliation | WU |
Type of publication | Contribution to conference proceedings |
Language | English |
Title | Declarative Process Discovery with MINERful in ProM |
Title of whole publication | Proceedings of the BPM Demo Session 2015, Co-located with the 13th International Conference on Business Process Management (BPM 2015), Innsbruck, Austria, Sept 2, |
Editor | Florian Daniel, Stefan Zugal |
Page from | 60 |
Page to | 64 |
Location | Innsbruck, Austria |
Publisher | CEUR WS |
Year | 2015 |
URL | http://ceur-ws.org/Vol-1418/paper13.pdf |
Associations
- Projects
- European Wide Service Platform for Green European Transportation
- People
- Di Ciccio, Claudio (Former researcher)
- Mendling, Jan (Details)
- External
- de Leoni, Massimiliano
- H. M. Schouten, Mitchel
- Organization
- Institute for Data, Process and Knowledge Management (AE Sabou) (Details)
- Research areas (Ă–STAT Classification 'Statistik Austria')
- 1109 Information and data processing (Details)
- 1127 Information science (Details)
- 5306 Business data processing (Details)