From Regulatory Text to Executable Constraints: Operationalising Compliance for Medicine Labelling
Regulatory requirements governing safety-critical health domains, such as medicine labelling, are predominantly expressed in legal prose with strong deontic modality (e.g., obligations and prohibitions). While suitable for human interpretation, such requirements are not directly machine-interpretable, limiting their us...