Example Transitions: CourseOffering

• Add Student from Open to Open
  • Event Signature: addStudent
  • Guard Condition: Count < 10
• Cancel from Open to Cancelled
  • Event Signature: Cancel from Open to Cancelled
• Cancel from Closed to Cancelled
  • Event Signature: Cancel from Closed to Cancelled
• from Open to Closed
  • Guard Condition: Count = 10
• from Cancelled to Stop
  • Send Clause: send CourseReport.delete
• from Start to Initialisation
• from Closed to Stop