甘肃省自然科学基金(32204)
- 作品数：6 被引量：6H指数：2
- 相关作者：王继曾张键苗志锋姜春艳王小刚更多>>
- 相关机构：兰州理工大学更多>>
- 发文基金：甘肃省自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于Lotos的面向宏的规范风格被引量：2
- 2005年
- Lotos规范风格在系统规范描述中可以体现系统模型的结构性。在已存在的4种Lotos规范风格中,引入了宏的思 想,构思了一种新的Lotos描述风格,即面向宏的规范风格,并分析了基于此风格的规范进程设计方法,以及将此进程应 用于系统实现的方法。该风格适合于描述分层的、内部模型具有相似结构的分布式系统。
- 王继曾张键王小刚
- 关键词：LOTOS
- 基于LOTOS形式规范的目标实现被引量：2
- 2005年
- LOTOS形式规范的目标实现是协议设计中必不可少的阶段之一。该文对基于LOTOS的形式描述规范的实现方法进行了研究,包括目标实现环境的特点、实现中的空白因素、抽象模型到实现模型的转换、规范的最终目标实现,并对如何将LOTOS规范转换为C、C++语言实现进行了探讨。
- 王继曾张键
- 关键词：LOTOS
- Estelle中的通道扩展及广播通道被引量：1
- 2006年
- 广播通道(点到多点通道)是一种普遍适用于计算机通信网络的结构概念。而作为形式化描述技术(FDT)标准之一的Estelle,其本身并不支持广播通道的描述。对Estelle中的通道概念进行扩展,使其能够描述广播通道。通过分析Estelle通道的3种扩展方案,引入了虚拟转发接口模块(VFNM)的概念。在尽可能保持与原版本的兼容性和一致性的基础上,对新的基于VFNM的广播通道扩展模型的语法和语义进行修订说明,从而扩展了Estelle对广播通道的描述能力。
- 王继增苗志锋姜春艳孙昊
- 关键词：ESTELLE
- LOTOS规范风格在服务和协议设计中的应用研究
- 2004年
- 分析了LOTOS规范语言的4种规范风格的特征和在分布式系统开发中的实际应用,描绘了网络服务和协议的基本设计属性,并讨论了规范风格在网络协议设计中的作用.最后将此方法应用于AB服务和协议的描述.
- 王继曾张键
- 关键词：FDTLOTOS
- LOTOS渐进细化设计方法在互斥访问系统中的应用被引量：1
- 2006年
- 在复杂系统的设计流程中,每个设计阶段都要制定标准的设计方案以实现系统功能。渐进细化设计就是把设计流程中的设计方案和检验其能否实现一个特定功能分离开来。提出了渐进细化的概念,并将其应用于互斥访问系统中,同时用LOTOS规范进行描述。
- 王继曾姜春艳苗志锋
- 关键词：LOTOS互斥访问
- 网络协议设计中形式结构模型的创建方法研究
- 2004年
- 形式描述技术在协议设计中的应用是至关重要的和必不可少的,为形式规范确定一个合适的结构又是应用此技术的关键步骤,基于此文中重点研究了基于LOTOS技术的形式结构模型的创建方法。简要介绍了开发网络协议的形式描述技术、网络协议的结构概念、等级抽象和LOTOS描述规范风格。基于LOTOS技术,提出了网络协议开发过程中形式结构模型的创建原则和方法,此方法结合LOTOS语言特征,应用其描述规范风格,融协议结构、逐步改进和等级抽象为一体,简化了所开发协议的验证、测试和实现的复杂性。
- 王继曾张键
- 关键词：通信协议网络协议可靠性安全性
