System Constraint Modeling