变电站通信网络和系统系列标准——IEC 61850正在成为变电站自动化的一个重要标准。文中从形式语义的角度出发，对IEC 61850的建模方法和所给出的模型进行了研究。提出“语义空间”的概念，给出“语义空间”构成“偏序集”的推断，并从语义空间的数据通信基础、语义空间的结构、语义空间的可伸缩条件等方面对IEC 61850模型的语义空间做出分析，与传统自动化系统进行比较，发现和挖掘上述几个方面与“互操作性”的关系，寻找满足IEC 61850“互操作性”的基本语义形式。