RolEnact : Enactable Models of Business Processes

RolEnact is a formal process modelling notation used to provide enactable models of process instances. The paper shows how RolEnact models may be produced which are equivalent to Role Activity Diagrams (RADs). This allows the modeller to describe processes in a notation (RADs); which can be understood both by process consultants and process users; whilst retaining the ability to generate enactable process scenarios.