Scenario-Based Verification And Validation Of Dynamic Uml Specifications