เพลย์กรณีใช้งาน

แต่ละ play นำปัญหาปฏิบัติการที่ติดขัดหนึ่งอย่างมาแสดง movement: มันคืออะไร ทำไมติดขัด บันทึกที่ well-formed หนึ่งรายการหน้าตาอย่างไร และ Threada ปิดงานนั้นด้วย governed work อย่างไร