System Models – How Distributed Systems See the World
A system model is not how the world actually behaves. Instead, it is a simplified set of assumptions about how a distributed system might behave — assumptions that allow engineers to design, analyze, and reason about correctness.