基于Z的协议形式描述与验证

来源 :计算机科学 | 被引量 : 0次 | 上传用户:wuchuanmiao
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
<正>一、引言在过去的十年.计算机网络与分布式系统已取得了很大的进展[6j。步入九十年代,各种新型通信技术和分布式应用已相继出现.并已对计算机通信软件发生了重要影响。这些新技术及应用主要包括高速光纤网、多媒体通信、宽带综合业务数字网(B一IsDN)、智能网络技术.如智能服务器、智能路由选择、智能协议开发环境等.以及综合语音、数据、图文和图象服务等等。为了适应这种形势的发展一门新兴的学科一协议工程已应运而生川。
其他文献
<正>在异构型系统中相互作用的正确性是通过一致性测试来保证的,自从协议工程领域出现以来,通信协议的一致性测试一直是人们研究的一个课题,一致性测试的目的是保证协议的实
<正>1.引言 评价是人机系统设计中的一个重要组成部分。所谓评价是把软件系统按其性能、能、可使用性等方面与某种项定的标准进行比较,验证系统设计是否满足用户需求,检查
说明性语义是逻辑程序研究的重要内容,也是其作为说明性程序的基本特征。近年来由于人们对带否定前提的一般逻辑程序设计的关注,以及逻辑程序与非单调推理的结合,逻辑程序的
本文较详细地分析了一般神经网络固有的优点和缺点,并对BP网络和Hopfield网特有的优点和缺点分别进行了阐述,最后,比较了用反馈神经网络和用启发式算法求解NP难的优化问题之各自利弊。
<正>工程领域需要工程数据库的支持,而工程数据库应采用面向对象的方法实现,这已成为共。目前世界上出现了许多面向对象工程数据库管理系统(OOEDBMS),它们在不同的领域发挥很
<正>作为自然界四大奥秘(物质的本质、宇宙的起源、生命的本质、智能的发生)之一的智能间题一直是古今中外许多哲学家和科学家最感兴趣,也是探索和研究得最多的问题之一。由
地理信息系统(GIS)在国民经济的发展中具有重要作用,是国民经济发展重大决策的有力工。由于在GIS系统中既有几何(空间、图形)数据,又有特征数据,而且对数据的存储和组织以及询又有不同的要求,因此,虽然关系、复杂对象和面向对象三
<正>1.引言当前神经网络的研究,遇到了一个非常困难的间题:如何合理地选择神经网络的总体结构。从图论的角度来看,前向式神经网络是一个有向图,欲决定其结构,就要找出一个合
知识表达是人工智能研究中最关键的分支之一。本文对知识表达的概念和任务进行深入的论述,分析了其发展历史和各阶段的研究特点,阐述了几个典型的知识表达系统,并预测了知识表达
本文论述了一种基于转换法的动态模式处理策略;动态模式操作应遵循的不变性原则;模式动态变化的分类及其操作相应的语义。并讨论了保持行为一致性,并发控制,访问权限等对动态模式