Case Study: Collaborative Editing

Modeling real-time collaborative editing with conflict resolution and cursor state management.

Overview

Collaborative editing requires managing connection states, cursor positions, pending changes, and conflict resolution — all of which map naturally to state machines.

Key Concepts

Connection states: disconnected → connecting → connected → reconnecting
Change queue as actor context
Conflict resolution as guard conditions
Cursor broadcasting as parallel state

Related Pages

Pattern: Data Fetching — Async communication
Learn: Actor Model — Actor-based architecture
Pattern: Undo/Redo — History management

TODO

Add WebSocket connection machine
Add CRDT merge machine
Add cursor sync actor