Declarative Specification of Processes: Discovery and Reasoning

  • Claudio Di Ciccio (Speaker)

Activity: Talk or presentationScience to professionals/public

Description

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.
Period15 Apr 2019
Event titleInvited talks at the Department of Information and Computing Sciences
Event typeUnknown

Austrian Classification of Fields of Science and Technology (ÖFOS)

  • 502
  • 102013 Human-computer interaction
  • 102022 Software development
  • 102
  • 102001 Artificial intelligence
  • 502050 Business informatics