41分布式糸统模型 模型的作用 精确地定义要建立或分析的系统的属性和特征 提供检验这些属性的基础 代表性的模型 数学函数型 *有限状态自动机(FSM) *图模型 模型的作用  精确地定义要建立或分析的系统的属性和特征  提供检验这些属性的基础  代表性的模型  数学函数型  有限状态自动机(FSM)  图模型 4.1分布式系统模型