Learners ages 14+ and adults ready for the named prerequisite; no employment or private records required.
Course 275 · Digital course 38
Build a Workflow with a State Machine
Build a tested fictional equipment-repair workflow with a transition table, guarded actions, rejected transitions and a trace of two complete cases. Work from supplied original examples and check changed cases.
Complete or review Programming with Python before starting.
Programming with Python See everything you’ll needFree download · Original practice data · No external account required. Download the starter pack
A tested fictional equipment-repair workflow with a transition table, guarded actions, rejected transitions and a trace of two complete cases.
Your project
Start with the practice files. Build your project one lesson at a time.
Practice files are free without an account. Sign in to save your project record in My Proof: a description, checklist, and optional work link. Keep the original files in your own app or notebook; saving a project record does not upload them.
- Get your materialsDownload practice filesSupplied practice cases, a blank working record, complete lesson instructions, and annotated worked examples.
- Make your projectView the project checklist Work in your own notebook, document, or software. Use the supplied practice examples when you prefer.
- Keep a private recordSave a project record Sign in to save a description and checklist, then return to update them.
Know the route before you begin.
Here’s what you’ll need and what you’ll make. You can return to this guide during any lesson.
- Complete or review Programming with Python before starting.
- Use a local text editor and a free Python 3.10+ interpreter for Python files, or a current browser for HTML files. Supplied code uses no paid services or external packages.
- Create a fresh practice folder and use only the supplied fictional inputs. A paper trace is labeled a trace, not an executed test.
Finish with proof you can use.
A tested fictional equipment-repair workflow with a transition table, guarded actions, rejected transitions and a trace of two complete cases.
Save a project record in My ProofSee project checklist and review criteria
Keep your working files in your own notebook or software. Save a private description, checklist, and work link in My Proof.
What to include
- A workflow map with distinct states and events.
- A complete allowed-transition table and a rejection case.
- A guarded verification matrix with accepted and rejected cases.
- An impossible-event test with state preservation.
- Complete, resumed and rejected workflow traces.
- A tested finite workflow model with honest completion boundaries.
Review and revise
Use these criteria to check your work and choose what to improve.
- The implementation or declared simulation follows the supplied contract and retains inspectable original inputs.
- Normal, boundary and rejected cases are recorded with expected versus observed results.
- The changed case has a correct explanation and does not rely on hidden state.
- The project includes source, outputs, instructions and honest tool, privacy and verification limits.
Three ideas to help you along the way
The rules behind the steps.
State the contract
Name inputs, permitted states and observable outputs before editing the implementation.
Preserve the evidence
Keep the actual source, changed input and expected/observed record so someone can repeat the work.
Test the boundary
Check a rejection or changed case and distinguish local practice from real service or native-tool behavior.
What do these words mean?
Key terms worth knowing.
- State
- The current named condition of work.
- Event
- An attempted action that may change state.
- Guard
- A condition required for an allowed transition.
- Idempotency
- A declared repeat behavior with the same effect.
6 lessons.
One useful project.
Work in order the first time. Each lesson makes something the next lesson can use.
- 1Up next
Define states separately from events
Apply define states separately from events to the supplied case and produce A workflow map with distinct states and events.
- 216 min
Build a transition table
Apply build a transition table to the supplied case and produce A complete allowed-transition table and a rejection case.
- 319 min
Apply guarded transitions
Apply apply guarded transitions to the supplied case and produce A guarded verification matrix with accepted and rejected cases.
- 416 min
Reject an impossible event
Apply reject an impossible event to the supplied case and produce An impossible-event test with state preservation.
- 522 min
Test complete and interrupted paths
Apply test complete and interrupted paths to the supplied case and produce Complete, resumed and rejected workflow traces.
- 624 min
Explain the state machine and limits
Apply explain the state machine and limits to the supplied case and produce A tested finite workflow model with honest completion boundaries.
Tools to help you practice.
Build a Workflow with a State Machine practice files
Supplied practice cases, a blank working record, complete lesson instructions, and annotated worked examples.
Your course project worksheet
A downloadable text worksheet with each lesson’s working output, space for your answers, and the shared final-project checklist. Save your own copy.
Sources and further study.
Explore the references behind the lessons and take your learning further. Source notes explain access and reuse.
Source & access notes · checked 2026-10-01
Relevant documented module/API behavior inspected during expansion authoring; actual execution evidence is recorded separately. No grant eligibility is established.
Access: Official page retrieved with the web reader on 2026-10-01. Documentation reading does not certify execution in every native tool or browser.
Reuse: Original local practice files, fictional data, worked examples and questions. Concepts paraphrased and linked; source exercises are not copied.
Source & access notes · checked 2026-10-01
Relevant documented module/API behavior inspected during expansion authoring; actual execution evidence is recorded separately. No grant eligibility is established.
Access: Official page retrieved with the web reader on 2026-10-01. Documentation reading does not certify execution in every native tool or browser.
Reuse: Original local practice files, fictional data, worked examples and questions. Concepts paraphrased and linked; source exercises are not copied.
Source & access notes · checked 2026-10-01
Relevant documented module/API behavior inspected during expansion authoring; actual execution evidence is recorded separately. No grant eligibility is established.
Access: Official page retrieved with the web reader on 2026-10-01. Documentation reading does not certify execution in every native tool or browser.
Reuse: Original local practice files, fictional data, worked examples and questions. Concepts paraphrased and linked; source exercises are not copied.
Start with the first useful move.
You’ll always know what to do, what to make, and where to go next.
Potential collaboration: Digital inclusion, STEM and workforce learning programs; no established partner is claimed.
Partner with LifeStarter