Definition: A pattern for creating complex domain objects, especially Aggregates. Example: A method that builds an Invoice from multiple lines, tax rules, etc. Use Case: When creation logic is non-trivial and must enforce invariants.