Governmental case management processes are carried out in collaboration between at least two actors (the Government and the citizen) and are tightly governed by law. This makes it relevant to consider if behavioural types can be used to guarantee process compliance. The formalisation of governmental case management processes requires capturing processes from at least two different kinds of sources: Legal texts and descriptions of local practice, which ought to be compliant with the law. Using a case study of a few paragraphs in the Danish Consolidation Act on Social Services and studies of local practice in a municipality, we describe how to formalise legal constraints and practice as declarative Dynamic Condition Response (DCR) graphs. The formalisation is supported by a new text highlighter extension for the DCRGraphs.net tool. The highligher allows lawyers and other domain experts to build DCR graphs by annotating textual descriptions of processes and regulations, in particular legal texts, which can subsequently be validated by simulations and used directly in a compliant-by-design case management system interacting with the DCR process engine.