摘要： LOTOS形式规范的目标实现是协议设计中必不可少的阶段之一。该文对基于LOTOS的形式描述规范的实现方法进行了研究,包括目标实现环境的特点、实现中的空白因素、抽象模型到实现模型的转换、规范的最终目标实现,并对如何将LOTOS规范转换为C、C++语言实现进行了探讨。

关键词: LOTOS, 形式规范, 实现, 资源

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.

中图分类号: 

• TP311.1