Provides a general flow and description for the validation and verification of UML/OCL models weiterlesen