Define aggregate candidates, consistency boundaries, business rules, invariants, and lifecycle/state transition models from the draft domain model.
