| 基于LOTOS形式规范的目标实现 |
| |
| 引用本文： | 王继曾,张键.基于LOTOS形式规范的目标实现[J].计算机工程,2005,31(12):97-99. |
| |
| 作者姓名： | 王继曾 张键 |
| |
| 作者单位： | 兰州理工大学电信工程学院,兰州,730050;兰州理工大学电信工程学院,兰州,730050 |
| |
| 基金项目： | 甘肃省自然科学基金资助项目(32204) |
| |
| 摘 要： | LOTOS形式规范的目标实现是协议设计中必不可少的阶段之一。该文对基于LOTOS的形式描述规范的实现方法进行了研究，包括目标实现环境的特点、实现中的空白因素、抽象模型到实现模型的转换、规范的最终目标实现，并对如何将LOTOS规范转换为C、C 语言实现进行了探讨。
|
| 关 键 词： | LOTOS 形式规范 实现 资源 |
| 文章编号： | 1000-3428(2005)12-0097-03 |
Realization of Formal Specification Based on LOTOS |
| |
| Wang Jizeng,ZHANG Jian.Realization of Formal Specification Based on LOTOS[J].Computer Engineering,2005,31(12):97-99. |
| |
| Authors: | Wang Jizeng ZHANG Jian |
| |
| Affiliation: | WANG Jizeng1,ZHANG Jian2 |
| |
| Abstract: | Realization of LOTOS formal specification is one of indispensable steps in protocol design. This paper studies how to realize a LOTOSspecification , which includes target implementation environment, implementation gap, transformation from abstract to implementation model,realization of LOTOS specification and illustrates how to transform from LOTOS specification to C or C++ language. |
| |
| Keywords: | LOTOS Formal specification Realization Resource |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
