TY - GEN TI - Automated Discovery of Declarative Process Models AB - The declarative modelling of business processes is based upon the specification of behavioural rules that constrain the work-flows enactment. It is meant not to explicitly specify every possible execution path from the beginning to the end: The carry-out of the process is up to the actors, who can vary the execution dynamics as long as they do not violate the constraints imposed by the declarative model. The constraints specify the conditions that require or forbid the execution of activities, either considering them singularly or depending on the occurrence of other ones. In this talk, the recent advancements in the automated discovery of declarative control flows from event logs are discussed, together with open challenges in the field. AF - Humboldt-Universität zu Berlin PP - Berlin, Germany PY - 2016-12-07 AU - Di Ciccio, Claudio ER -