电力系统实时数据传输应用层协议描述

本文论述了计算机网络协议描述的一些方法，并介绍了时序逻辑理论，还应用该方法对能源部颁布的电力系统实时数据传输应用层协议进行了描述，并探讨了推广到描述计算机网络高层协议的可能性。