【摘 要】
：
协议是计算机网络的命脉,协议复杂性的提高导致了协议工程学科的出现.该文首先分析了协议工程各项活动的内容、方法和相互关系,讨论了各种形式描述技术(formal description t
【基金项目】
：
国家重点基础研究发展计划(973计划);国家自然科学基金
论文部分内容阅读
协议是计算机网络的命脉,协议复杂性的提高导致了协议工程学科的出现.该文首先分析了协议工程各项活动的内容、方法和相互关系,讨论了各种形式描述技术(formal description technique,简称FDT)的特性及其优缺点,从而引出基于Petri网理论的FDT.该文说明了Petri网作为协议描述技术的优势,指出当前基于Petri网的协议工程研究的难点,其中面向协议开发的网工具是一项重要的研究内容.按照开放系统互连参考模型的层次,总结了国际上的研究进展情况,并阐述了未来的研究趋势.最后从协议描述、协议验证与分析以及辅助测试与实现这3个角度给出了基于Petri网的协议工程的基本方法.
其他文献
目的 探讨热带海区海难落水人员的发病情况及其致病机制。方法 对 2 0 0 1年第 10号热带风暴“天兔”引起的海难落水部分幸存者 2 2例的落海及漂浮情况、主要症状、体征、
目的总结本地恙虫病的发病规律及其肺部损害的特点.方法统计1998年1月至2000年12月住本院的恙虫病致肺损害病人46例资料,寻找其临床特点.结果 5～9月为发病高峰期.所有病例均有
目的探讨急性有机磷农药中毒中间综合征 ( IMS)的发生因素、诊断和治疗。方法对 34例 IMS进行临床分析 ,另设 30例非 IMS的重度急性有机磷农药中毒为对照组 ,比较两组早期使
原发性胆囊癌是胆道系统中常见的恶性肿瘤,其起病隐匿,临床无特征性,大多数患者当临床作出诊断时已有肝脏侵犯或远处转移,预后较差,总体5年生存率仅为5.0%～12.0%[1].准确的术
液氮保存的同种瓣具有生物活性,在临床应用中显示了良好的近中期效果,但长期耐久性还有待提高.研究表明,同种瓣的供者来源、热缺血时间、灭菌时间和温度、灭菌液的配方、保存
目的:修复关节功能部位创面,包括切、削痂后创面、肉芽创面、外伤性软组织缺损、疤痕切除松解后创面,寻找一种较为理想的创面覆盖材料,从而达到恢复关节功能的目的.方法:应用
兴奋性氨基酸(EAA)受体参与中枢神经系统许多重要的生理功能.中枢EAA受体可分为离子通道型受体和G蛋白耦联受体两类.研究表明静脉麻醉药异丙酚的全麻作用与离子通道型EAA受体
目的探讨老年高血压患者动态血压各参数变异度及脉压与左室肥厚的关系.方法采用动态血压、超声心动图检查82例年龄大于60岁的原发性高血压患者,其中51例无左室肥厚,31例有左
文章在分析国内外继电保护测试装置的基础上,提出了针对国产微机型继电保护进行程序化测试的方法,并介绍了其设计思想和软、硬件构成方式.
通过对普通混凝土试件及用芳纶纤维约束混凝土试件的抗压对比试验,研究了芳纶纤维约束混凝土的抗压力学性能,定量地得到了芳纶纤维对混凝土试件承载力的加强效果.此外对芳纶