Example of an Engineering Problem in Constraint Driven System Design The enterprise challenge is a multifaceted ‘wicked problem’. Advanced research in category theoretic representation and solution of real engineering problems is complemented by work on commercial tools. Fundamental Theorem of Relational Homomorphism in System Design