Beyond soundness: on the verification of semantic business process models