product generation and checking of configuration semantics