Reactive and Event Based Systems (REB)

Knowledge within

Two or more of the following topics (depending on the lecturers' research areas):

• Topic 1 Declarative Process Models and Event-Based systems:
  • Processes and how to model them
  • Declarative vs. imperative process notations
  • Declarative Process Modelling with Dynamic Condition Response Graphs

• Topic 2: 
  • Modelling properties of event-based systems as declarative constraints
  • Run-time monitoring of event-based systems with a declarative process engine 
  • Process mining and compliance
•  Topic 3 Message passing models and languages for event based systems:
  • Actors and dataflow network
  • Process calculus 
  • Microservices and reactive systems programming
•  Topic 4 Event stream processing:
  • Data and programming models for reactive and event stream processing systems
  • Issues of implementing reactive and event stream processing systems
  • Message queues and brokers

Skills to 
Do two or more of the following tasks (depending on the lecturers' research areas):

• Model event-based systems using formal declarative notations.
• Model properties as declarative constraints and leverage a declarative process engine to control and monitor event-based systems.
• Build software solutions based on message passing.
• Build event-driven applications.  

Competences to
Do two or more of the following activities (depending on the lecturers' research areas):

• Apply declarative process technologies to model event-based systems.
• Apply declarative process technologies to describe properties of and monitor event-based systems.
• Structure and implement a message passing based application to address a concrete problem scenario.
• Design and implement applications using event stream processing techniques.