Consistency Verification in Ontology-Based Process Models with Parameter Interdependencies