(NOTE: due to space limitations, in the paper submitted to ICSOC 2014 we present an excerpt of RALTeam)

RALTeam is divided into five modules, depicted in white in the figure below, to allow different levels of expressiveness depending on the availability of data (e.g. process log history or data used in a process). Each RALTeam module is composed of expressions and constraints, which will be described next using their EBNF syntax.