@inproceedings{140b1b3c482a418cbf99131484cb74e3,
title = "Matching of Events and Activities - An Approach Using Declarative Modeling Constraints",
abstract = "Nowadays, business processes are increasingly supported by IT services that produce massive amounts of event data during the execution of a process. This event data can be used to analyze the process using process mining techniques to discover the real process, measure conformance to a given process model, or to enhance existing models with performance information. Mapping the produced events to activities of a given process model is essential for conformance checking, annotation and understanding of process mining results. In order to accomplish this mapping with low manual effort, we developed a semiautomatic approach that maps events to activities using the solution of a corresponding constraint satisfaction problem. The approach extracts Declare constraints from both the log and the model to build matching constraints to efficiently reduce the number of possible mappings. The evaluation with an industry process model collection and simulated event logs demonstrates the effectiveness of the approach and its robustness towards non-conforming execution logs.",
keywords = "Process Mining, Event Mapping, Business Process Intelligence, Constraint Satisfaction",
author = "Thomas Baier and {Di Ciccio}, Claudio and Jan Mendling and Mathias Weske",
year = "2015",
month = jun,
doi = "10.1007/978-3-319-19237-6_8",
language = "English",
isbn = "978-3-319-19236-9",
volume = "214",
series = "Lecture Notes in Business Information Processing",
publisher = "Springer",
pages = "119--134",
editor = "Khaled Gaaloul and Rainer Schmidt and Selmin Nurcan and S{\'e}rgio Guerreiro and Qin Ma",
booktitle = "Enterprise, Business-Process and Information Systems Modeling - 16th International Conference, BPMDS 2015, 20th International Conference, EMMSAD 2015, Held at CAiSE 2015, Stockholm, Sweden, June 8-9, 2015, Proceedings",
}