HI,欢迎来到学术之家,发表咨询:400-888-7501  订阅咨询:400-888-7502  股权代码  102064
0

LOTOS规范风格在服务和协议设计中的应用研究

作者:王继曾; 张键fdtlotos规范风格协议

摘要:分析了LOTOS规范语言的4种规范风格的特征和在分布式系统开发中的实际应用,描绘了网络服务和协议的基本设计属性,并讨论了规范风格在网络协议设计中的作用.最后将此方法应用于AB服务和协议的描述.

注:因版权方要求,不能公开全文,如需全文,请咨询杂志社

兰州理工大学学报

《兰州理工大学学报》(CN:62-1180/N)是一本有较高学术价值的大型双月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《兰州理工大学学报》获奖情况:甘肃高等校优秀学术期刊;全国优秀高校自然科学学报及教育部优秀科技期刊评比二等奖;第二届国家期刊奖百种重点期刊。

杂志详情