Flow Shop Models and Constraint Graph Specifications