The method is based on the formal EBE model that specifies only the external behavior of a protocol.

• 外部行为描述模型只对协议的外部行为进行描述 ,强调变迁之间的数据依赖性。