计算机会议流控制通道协议研究

摘要：

目前同步计算机会议系统控制方面的能力有限,本文提出一种会议控制协议,基于开放分布式处理参考模型(RM-ODP)控制通道概念,在分析协议需求的基础上,设计了一种组合域名协议原语,并用于协议的形式化描述;同时采用带时间和控制的有色Petri网描述了控制协议实体以进行协议的验证.文章最后简述该协议的设计和实现.

关键词：计算机会议、RM-ODP、控制通道、协议、形式技术、Petri网

所属期刊栏目：21

分类号：TP393(计算技术、计算机技术)

资助基金：国家自然科学基金;高等学校博士学科点专项科研项目;教育部计算机网络和信息集成支撑技术开放实验室基金

在线出版日期：2005-08-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：55-61