作者:王继曾; 张键fdtlotos规范风格协议
摘要:分析了LOTOS规范语言的4种规范风格的特征和在分布式系统开发中的实际应用,描绘了网络服务和协议的基本设计属性,并讨论了规范风格在网络协议设计中的作用.最后将此方法应用于AB服务和协议的描述.
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
《兰州理工大学学报》(CN:62-1180/N)是一本有较高学术价值的大型双月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《兰州理工大学学报》获奖情况:甘肃高等校优秀学术期刊;全国优秀高校自然科学学报及教育部优秀科技期刊评比二等奖;第二届国家期刊奖百种重点期刊。
省级期刊
人气 238764 评论 36
人气 154363 评论 33
人气 152044 评论 53
人气 123504 评论 54