Law Modeling with Ontological Support and BPMN: a Case Study