计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2003年
19期
81-83，145
,共4页
协议工程%协议描述语言%面向实现
協議工程%協議描述語言%麵嚮實現
협의공정%협의묘술어언%면향실현
该文在多种形式化描述语言(FDL)和时序逻辑原理的研究基础上,针对通讯协议的特点提出了一个协议模型思想,并设计了实现此模型的协议描述语言.该语言对事件有强的描述能力,并且引入了面向对象的概念,让描述更接近于现实;它扩展了对事件的描述,能描述事件的随机发生,笔者已将之成功地应用于对HTTP协议和HTTP-NG协议的描述.
該文在多種形式化描述語言(FDL)和時序邏輯原理的研究基礎上,針對通訊協議的特點提齣瞭一箇協議模型思想,併設計瞭實現此模型的協議描述語言.該語言對事件有彊的描述能力,併且引入瞭麵嚮對象的概唸,讓描述更接近于現實;它擴展瞭對事件的描述,能描述事件的隨機髮生,筆者已將之成功地應用于對HTTP協議和HTTP-NG協議的描述.
해문재다충형식화묘술어언(FDL)화시서라집원리적연구기출상,침대통신협의적특점제출료일개협의모형사상,병설계료실현차모형적협의묘술어언.해어언대사건유강적묘술능력,병차인입료면향대상적개념,양묘술경접근우현실;타확전료대사건적묘술,능묘술사건적수궤발생,필자이장지성공지응용우대HTTP협의화HTTP-NG협의적묘술.
