Customisation processes - hooks/copy/edit issues

Validation of initial constraints (e.g.: pure subset)
finite-state machines calculus ?