摘要
分析了LOTOS规范语言的4种规范风格的特征和在分布式系统开发中的实际应用,描绘了网络服务和协议的基本设计属性,并讨论了规范风格在网络协议设计中的作用.最后将此方法应用于AB服务和协议的描述.
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.
出处
《兰州理工大学学报》
CAS
北大核心
2004年第5期101-103,共3页
Journal of Lanzhou University of Technology
基金
甘肃省自然科学基金(32204)
