4.1.5 SDL在协议描述中的应用举例