【技术实现步骤摘要】
【技术保护点】
一种基于构造类别代数的协议描述的方法，其特征在于通信协议描述方法为：１）分析被测体实现的通信协议文本，确定协议文本中的数据部分和控制部分，将其作为待描述的实体对象； ２）对某个实体对象，根据协议文本的描述，确定那些实体对象与 之相关，将这些实体对象集合定义为该对象的类别名的有限集合Ｓ；３）对某个实体对象，协议中描述了该对象的生成操作，将这些操作以函数的方式进行表达，称为构造函数，从而形成该对象构造函数的有限集合Ｃ；４）对某个实体对象，协议中定义了 对该对象的各种操作，包括观察操作和控制操作，以函数的方式进行表达，称为延拓函数，从而形成该对象延拓函数的有限集合Ｅ；５）对某个实体对象，协议中定义了对该对象的限制和要求，将这些要求用等式公理的方式进行表达，这种等式公理中只包含构造函 数和延拓函数，这些等式公理构成了该对象等式公理的有限集合Ｅ；。
【技术特征摘要】
【专利技术属性】
技术研发人员：赵宝华，屈玉贵，周颢，孙宇霖，周晓煜，柯尧，
申请(专利权)人：中国科学技术大学，
类型：发明
国别省市：34[中国|安徽]
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。