从Petri网到形式描述技术和协议工程

来源 :软件学报 | 被引量 : 0次 | 上传用户:yuhuiru871124
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
协议是计算机网络的命脉 ,协议复杂性的提高导致了协议工程学科的出现 .该文首先分析了协议工程各项活动的内容、方法和相互关系 ,讨论了各种形式描述技术 ( formal description technique,简称 FDT)的特性及其优缺点 ,从而引出基于 Petri网理论的 FDT.该文说明了 Petri网作为协议描述技术的优势 ,指出当前基于Petri网的协议工程研究的难点 ,其中面向协议开发的网工具是一项重要的研究内容 .按照开放系统互连参考模型的层次 ,总结了国际上的研究进展情况 ,并阐述了未来的研究趋势 .最后从协议描述、协议验证与分析以及辅助测试与实现这 3个角度给出了基于 Petri网的协议工程的基本方法 Protocols are the lifeblood of computer networks, and the complexity of protocols leads to the emergence of protocol engineering disciplines.This paper first analyzes the contents, methods and interrelations of protocol engineering activities, and discusses various forms of formal description techniques (formal description technique, Referred to as FDT) and its advantages and disadvantages, leading to the FDT based on Petri net theory.This paper illustrates the advantages of Petri nets as a protocol description technology, and points out the difficulties of current research on protocol engineering based on Petri nets, in which the network for protocol development The tool is an important research content.According to the level of the open system interconnection reference model, this paper summarizes the research progress in the world and expounds the future research trends.Finally, from the protocol description, protocol verification and analysis, and auxiliary testing and implementation These three angles give the basic method of Petri net-based protocol engineering
其他文献
在山东省胶东半岛最东端有一个环境忧美的泻湖——天鹅湖。每逢冬季和初春,总有几千只大天鹅;成群结对聚集这里。它们具有人的灵性、人的情感、人的追求。它们有时象一群学生
多元智能理论是美国心理学家霍华德·加德纳教授提出的一种完整的独特的智力理论。他认为:“智能是解决某一问题或创造某种产品的能力,而这一问题或这种产品在某一特定文化或
急性腹腔动脉阻塞并十二指肠穿孔治愈1例吉林省四平市第一人民医院(136001)郭延庆病人男性,51岁。因上腹持续疼痛3天,加重2小时急诊于1988年4月入院。既往经胃肠透视诊断为十二指肠溃疡,无高血压及
语文新课程背景下的研究型教师是进行人才培养、新课程改革、教师专业化的必然要求,他可以围绕教材、教学方法、学生、评价等方面开展研究。语文教师可以通过树立知识意识、
昆山市实验小学,创办于1958年,前身系昆山师范学校附小,1962年更名为昆山县实验小学。学校以科学发展观为指导,以“办一流学校,育一流新人”为办学目标,坚持“让每一个学生的
腹腔镜在胃肠疾病中的应用山东医科大学附属医院(250012)胡三元姜希宏刘风军张楠1993年11月至1997年3月,我院应用腹腔镜对18例胃肠疾病患者进行了手术治疗,现报告如下。1资料与方法本组男14例,女4例;年龄25~68岁
一项旨在研究因特网对人际关系的影响的最新实验首次表明 :因特网能够推动社区参与 ,扩大并增强邻里与家庭关系 ,并有助于维系与远方朋友及亲戚之间的纽带。这一发现对所谓上网会孤立个人与家人的关系、减少社会交往的传统论点提出了质疑和挑战。这一研究成果是由基思·汉普顿教授和巴里·韦尔曼教授在 2 0 0 0年 8月召开的美国社会学学会年会上发布的。他们以加拿大多伦多的一个“Netville”(虚构名 )社区为试点 ,启用最先进的网络技术 ,通过对联网居民与未联网居民长达 3年的比较研究 ,结果发现 :联网居民比未
在低段语文教学中,为了更好地完成教学目标,教师要注意为学生创设学习的情境,恰当地组织和引导学生的学习活动,使学生能够获得知识和技能,并促进智能的发展。 In low-level
一般资料 97例中男52例,女45例,均为曾确诊为淋病,经治疗后症状有所减轻,但仍有尿道炎症状,延长治疗后无效的患者。取患者尿道分泌物,作细菌培养及药敏。结果有52例(男27例,
往年,有些联合工会和基层工会缺乏按时计提上解工会经费的意识,往往拖拉到年终岁末才计提上解工会经费,严重影响县总工会经费的收缴入库,影响工会工作的正常运转。针对这种情况,湖