Quotation Di Ciccio, Claudio. 2019. Declarative Specification of Processes: Discovery and Reasoning. Invited talks at the Department of Information and Computing Sciences, Utrecht University, 15.04.19




A process describes the temporal evolution of a system. Capturing the rules that govern its control flow helps to understand the boundaries of its behaviour. The declarative specification of processes is based on the representation of those boundaries by means of constraints rooted in temporal logics. The execution dynamics can vary as long as they do not violate such constraints, which specify the conditions that require or forbid the execution of actions. This talk revolves around the recent advancements in research concerning the discovery of, and reasoning on, the declarative specifications of processes. The discourse will include a focus on how to automatically extract the constraints from process data, and how to losslessly minimise the size of discovered constraint sets. The conclusion will illustrate open challenges and future research avenues in the field.


Press 'enter' for creating the tag

Publication's profile

Status of publication Published
Affiliation WU
Type of publication Unpublished lecture
Language English
Title Declarative Specification of Processes: Discovery and Reasoning
Event Invited talks at the Department of Information and Computing Sciences
Location Utrecht University
Event country Netherlands
Date April 15, 2019


Di Ciccio, Claudio (Former researcher)
Institute for Data, Process and Knowledge Management (AE Sabou) (Details)
Research areas (Ă–STAT Classification 'Statistik Austria')
1105 Computer software (Details)
1108 Informatics (Details)
1109 Information and data processing (Details)
1122 Artificial intelligence (Details)
1161 Human-computer interaction (Details)
5306 Business data processing (Details)
5367 Management information systems (Details)
Google Scholar: Search