张键
- 作品数：5 被引量：4H指数：2
- 供职机构：兰州理工大学电气工程与信息工程学院更多>>
- 发文基金：甘肃省自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- LOTOS规范风格在服务和协议设计中的应用研究
- 2004年
- 分析了LOTOS规范语言的4种规范风格的特征和在分布式系统开发中的实际应用,描绘了网络服务和协议的基本设计属性,并讨论了规范风格在网络协议设计中的作用.最后将此方法应用于AB服务和协议的描述.
- 王继曾张键
- 关键词：FDTLOTOS
- 基于LOTOS形式规范的目标实现被引量：2
- 2005年
- LOTOS形式规范的目标实现是协议设计中必不可少的阶段之一。该文对基于LOTOS的形式描述规范的实现方法进行了研究,包括目标实现环境的特点、实现中的空白因素、抽象模型到实现模型的转换、规范的最终目标实现,并对如何将LOTOS规范转换为C、C++语言实现进行了探讨。
- 王继曾张键
- 关键词：LOTOS
- 网络协议设计中形式结构模型的创建方法研究
- 2004年
- 形式描述技术在协议设计中的应用是至关重要的和必不可少的,为形式规范确定一个合适的结构又是应用此技术的关键步骤,基于此文中重点研究了基于LOTOS技术的形式结构模型的创建方法。简要介绍了开发网络协议的形式描述技术、网络协议的结构概念、等级抽象和LOTOS描述规范风格。基于LOTOS技术,提出了网络协议开发过程中形式结构模型的创建原则和方法,此方法结合LOTOS语言特征,应用其描述规范风格,融协议结构、逐步改进和等级抽象为一体,简化了所开发协议的验证、测试和实现的复杂性。
- 王继曾张键
- 关键词：通信协议网络协议可靠性安全性
- LOTOS技术在网络协议设计中的应用研究
- 随着计算机网络、通信网络以及分布式系统的不断发展,通信协议有日渐复杂化的趋势,形式描述技术在网络协议设计中占有举足轻重的作用,作为国际化标准之一的LOTOS技术是专为分布式系统设计的形式描述技术,特别是通信服务和协议.该...
- 张键
- 关键词：FDTLOTOS
- 文献传递
- 基于Lotos的面向宏的规范风格被引量：2
- 2005年
- Lotos规范风格在系统规范描述中可以体现系统模型的结构性。在已存在的4种Lotos规范风格中,引入了宏的思 想,构思了一种新的Lotos描述风格,即面向宏的规范风格,并分析了基于此风格的规范进程设计方法,以及将此进程应 用于系统实现的方法。该风格适合于描述分层的、内部模型具有相似结构的分布式系统。
- 王继曾张键王小刚
- 关键词：LOTOS
