| LOTOS规范风格在服务和协议设计中的应用研究 |
| |
| 引用本文： | 王继曾,张键.LOTOS规范风格在服务和协议设计中的应用研究[J].兰州理工大学学报,2004,30(5):101-103. |
| |
| 作者姓名： | 王继曾 张键 |
| |
| 作者单位： | 兰州理工大学,电气工程与信息工程学院,甘肃,兰州,730050;兰州理工大学,电气工程与信息工程学院,甘肃,兰州,730050 |
| |
| 基金项目： | 甘肃省自然科学基金(32204) |
| |
| 摘 要： | 分析了LOTOS规范语言的4种规范风格的特征和在分布式系统开发中的实际应用,描绘了网络服务和协议的基本设计属性,并讨论了规范风格在网络协议设计中的作用.最后将此方法应用于AB服务和协议的描述.
|
| 关 键 词： | FDT LOTOS 规范风格 协议 |
| 文章编号： | 1000-5889(2004)05-0101-03 |
| 修稿时间： | 2003年10月22 |
Investigation of application of LOTOS specification styles in service and protocol design |
| |
| WANG Ji-zeng,ZHANG Jian.Investigation of application of LOTOS specification styles in service and protocol design[J].Journal of Lanzhou University of Technology,2004,30(5):101-103. |
| |
| Authors: | WANG Ji-zeng ZHANG Jian |
| |
| 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. |
| |
| Keywords: | FDT LOTOS specification style protocol |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
