系统模型的建立是对现实世界中存在的有关实体和活动的抽象和精化，其建立过程如图2.5所示，包括观察分析、模型表示和模型检查三个阶段。