Modeling the constraints and invariants of
the entities in the application