形式化描述技术相关论文
多Agent系统是一种使用松散耦合方式集成系统的方法,它使得软件系统在增减模块的过程中对整体有较少的影响.然而,至今仍然没有一个......
协议工程是计算机通信及网络研究的一个新的重要的领域，有许多值得研究的理论与技术问题，其中最基本的也是最重要的就是协议形式化描......
该文对通信顺序进程CSP做了深入的研究,对它进行了扩充,在协议建模和协议验证等各个方面进行研究,以拓展对这一领域的探索,推动协......
协议是网络和通信的核心,协议形式化理论的研究是一项十分重要的基础性、前瞻性和创新性的研究.它主要包括协议形式化描述、协议验......
设计模式重用方法的研究是一项十分重要的基础性和创新性的研究。它主要包括新应用需求和设计模式的形式化描述、在模式库中找出一......
设计模式通过一种可被复用的方式描述了一些软件设计问题的成功解决方案，从而提高软件生产率和可维护性。目前选取模式是依赖用户实......
This paper presents a formal technique of protocols based on RSL,which can efficiently connect the formaldescription ,va......
介绍了SDL-2000形式语义的理论基础抽象状态机(ASM),深入分析了SDL-2000形式语义,其中静态语义使用一阶谓词演算定义,动态语义使用......
我国CTCS-3级列车运行控制系统是基于无线通信GSM-R的列车运行控制系统。GSM-R系统为列车运行提供安全、可靠的数据传输通道,实现......
协议形式化描述是协议工程的核心,对于协议的开发起到基础作用.首先对协议形式化描述技术进行了综述,然后着重研究了两种协议形式......
讨论了为进行协议形式化描述而进行的CSP扩充问题.向CSP中引入了可终止进程的概念,并给出了可终止进程的判定方法;针对CSP只能进行......
