节点文献
LOTOS规范风格在服务和协议设计中的应用研究
Investigation of application of LOTOS specification styles in service and protocol design
【摘要】 分析了LOTOS规范语言的4种规范风格的特征和在分布式系统开发中的实际应用,描绘了网络服务和协议的基本设计属性,并讨论了规范风格在网络协议设计中的作用.最后将此方法应用于AB服务和协议的描述.
【Abstract】 The features of four specification styles in LOTOS specification language as well as its practical application in the development of distributed system are analyzed in detail,the basic design attribution of network service and protocol is described,and the role of specification style in network protocol design is also discussed.Finally,this method is used to describe the AB service and protocol.
【基金】 甘肃省自然科学基金(32204)
- 【文献出处】 兰州理工大学学报 , 编辑部邮箱 ,2004年05期
- 【分类号】TP311
- 【被引频次】1
- 【下载频次】42