Improving Business Process Model Quality Using Domain Ontologies