The use of object-oriented process specification for the validation and verification of decision support systems