Model criteria -- formal approach

• unambiguous -- single meaning
• abstract -- no unnecessary detail
• consistent -- absence of conflict