UCEd startup



Use Case Editing Tool



Domain Modeling Tool



Domain Extraction Wizard



Generated StateChart



Generated StateChart-Chart (high-level view)



StateChart Chart with one use case expanded



Simulator




Scenario Editing tool



Scenario Simulation results