协议模型和规约语言

（计算机科学技术）

协议模型和规约语言（protocol models and specification language），计算机科学技术名词，为了研制、表示协议，并验证协议的正确性所提出的模型和规约语言。