Divide the UoD into manageable subsections

Transform familiar examples into elementary facts, and apply quality checks

Draw the fact types, and apply a population check

Check for entity types that should be combined, and note arithmetic derivations

Add uniqueness constraints, and check arity of fact types

Add mandatory role constraints, and check for logical derivations

Add value, set-comparison (subset, equality, exclusion), and subtype constraints

Add other constraints and perform final checks

Integrate the subschemas into a global conceptual schema