A Lightweight Formalism for the Integration of BPMN Models with Domain Ontologies