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

• 作者: 张键 王继曾
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: LOTOS 形式规范 实现 资源
• 年，卷（期）: 2005,（12）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 97-99
• 页数: 3页
• 分类号: TP311
• 字数: 3857字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2005.12.035

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王继曾	兰州理工大学电信工程学院	42	176	8.0	10.0
2	张键	兰州理工大学电信工程学院	4	6	2.0	2.0