The aim of this paper is to describe the method to develop the normative model of the Safety Case Process in a formal way. In order to reach this objective, various commonly used description technologies to describe processes were examined and evaluated against this specific application background. In the end, Event Driven Process Chains (EPCs) were discovered to be the appropriate description technique to reach this aim.
