Scenario Based Analysis of Dynamic Specifications