协议综合技术.pptVIP

第六章 协议综合技术 协议验证的另一个途径是协议综合（protocol synthesis），它力图使用一组能确保所产生的协议是正确的规则，由“协议零部件”装配出一个符合要求的目标协议，或由协议的需求描述生成一个目标协议。协议综合技术与第二章所介绍的协议构造方法的不同之处在于：第一，它使用了形式化技术，其过程严密的；第二，协议构造过程和验证过程融为一体；第三，他使用一组工具软件开发协议设计，设计效率高，协议维护方便。 第六章 协议综合技术 协议综合技术的研究日益受到人们重视，该技术要考虑的问题包括以下几个方面。 1 协议综合的起点 综合起点指在什么基础上构造出目标协议。协议综合起点可以是： (1) 以协议需求的非形式化描述为基础从零构造出目标协议； (2) 协议的完整的服务规范（形式化描述）中产生出目标协议； (3) 从一个协议实体的完整描述中构造出与之通讯的另一个协议实体的完整描述； (4) 由协议零部件（即协议功能模块）装配出一个目标协议。 第六章 协议综合技术 2.协议模型技术 协议综合技术的最主要特点是使协议设计过程形式化，因此它必须采用一种或几种协议模型技术，包括： (1) 有限状态机模型FSM； (2) Petri网； (3) 通讯进程代数CCS或LOTOS等等 第六章 协议综合技术 3.通讯方式的限制 协议模型中的协议实体之间通讯方式对协议综合方法施加很大影响，这些影响来自以下几个方面： (1) 协议实体之间的通讯是同步方式还是异步方式？ (2) 采用异步通讯方式时，队列模型是FIFO模型还是其它模型？ (3) 通道假定是可靠的还是不可靠的等等。 第六章 协议综合技术 4.协议功能模块的运行方式 一个协议由多个协议模块组成，它们以什么方式组织起来，以什么方式运行对协议综合方法施加重要影响。 (1) 多阶段（mulit-phase）运行方式； (2) 功能交替（alternative functions）方式； (3) 功能并发（concurrent functions）方式； (4) 功能并行（parallel functions）方式。 第六章 协议综合技术 5.工具软件的操作方式 许多协议综合工具汇集成一个协议综合系统，人们使用协议综合系统进行协议设计。工具软件的操作方式分成两种： （1）交互式方式，设计人员干预设计过程进行半自动化协议设计； （2）全自动方式，设计人员设置好参数，输入有关数据之后，系统会自动生成目标协议。 第六章 协议综合技术 关于协议综合技术的发展状况，各种综合方法的优缺点以及协议综合技术的分类等问题的讨论，请读者参见文献[25]。按照协议综合起点和协议综合技术所采用的模型技术不同，目前人们所进行的研究可分为三类： （1）FSM-based, service-oriented; （2）FSM-based, non-service-oriented; （3）CCS-based, service-oriented. 根据协议的服务规范产生目标的协议方法属于service-oriented一类，其他的属于non-service-oriented一类。本章所介绍的几种方法属于第（2）类。 第六章 协议综合技术 6.2多阶段协议的综合方法 复杂协议包含多个协议功能，它们往往是前后衔接的，即前个协议功能执行完之后另一个协议功能开始执行。一种很自然的做法是，将协议的运行划分成若干阶段，每个阶段运行一个或多个协议功能。很显然，这种组织方式使协议的结构变得清晰简单。以这种方式组织的协议称之为多阶段协议，下面讨论这种协议的综合方法。 多阶段协议的构造分三步进行： （1）按运行阶段将协议分成许多独立的协议功能； （2）对各个协议功能进行设计和验证，或从别的地方获取成熟的协议的功能模块。 （3）按照一定功能将协议供功能连接起来，产生目标协议。 第六章 协议综合技术 这里，最关键的一步是协议功能的联接规则（这正是我们要讨论的问题）。如果没有严密的联接规则，即便各个协议功能都是正确的，也不意味着连接后的目标协议也是正确的。下面介绍的方法由C.H.Chow等人提出。 第六章 协议综合技术 6.2.1CFSM网 图6.1所示的通讯系统为一个包含两个CFSM（communicating finite state machines）的CFSM网（networks of CFSM）,图中M和N代表两个相互通讯的协议实体。X和y代表两个队列性质为FIFO的可靠通道。 第六章 协议综合技术 1)一个协议实体的CSFM图由弧（edges）和结点（nodes）构成（如图6.2所示）。 2) 弧分发送弧(sending edges)和发送弧（receivi