Contents

• Objective of UCEd
• UCEd startup window
  • File Menu
  • Validate Menu
  • Generation Menu
  • State Machine
    • State Machine Viewer
  • Simulation Menu
  
  
• Domain model
  • Elements of a Domain model
  • Conditions
    • Simple conditions
    • Complex conditions
  • Any conditions
  • Operation declaration
  • UCEd Domain Model Edition tool
    • Domain Model element types
    • Domain elements edition
    • Editors key combinations
  • Domain Model validation
  • Extraction of Domain elements from Use cases
  
  
• Use Cases
  • Use Case Diagrams
  • Description of Use Cases
    • Normal use cases description
    • Extension use cases description
  • UCEd Use Cases Edition tool
    • Use Case models edition
    • Use Case descriptions edition
  • Use Cases validation
  
  
• State Models
  • Control flow based state model
  • State models synthesis based on operation effects
    • Detailed State Charts
    • State machine synthesis
    • State chart generation
  
  
• Simulator tool
  • Operation of the simulator tool
  • Simulation History
  
  
• Scenario Model
  • Elements of scenarios
  • Scenario Model Edition tool
    • Scenario model element types
    • Scenario model edition
  • Scenario validation rules
  • Scenario simulation
  
  
• Bibliography