基于LOTOS形式规范的目标实现

摘要

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