协议开发的理论与方法内容摘要:
(Unified Modeling Language) 被应用到协议开发中。 UML简介 UML统一各种面向对象分析和设计方法的差异。 1995年 10月发布了第一个版本 ,现在。 如今 UML已成为一个流行的 、 标准化的 、 通用目的面向对象的可视化模型语言 , 许多大的软件开发组织开始用它进行系统建模。 14 FDT与 UML的结合 UML用于协议开发的优势 当今的形式化的协议开发技术缺少可视化; 不支持协议开发的整个生命周期; 而上述两点正是 UML的优势所在。 UML用于协议开发的不足 UML缺少定义复杂通信系统协议的形式化语义 , 不能直接用它来开发协议 , 必须给 UML增加一些语义功能。 15 FDT与 UML相结合 — BDL BDL (Behavioural Description Language) 一个能够描述异步并发行为的语言 BDL( 把UML的面向对象技术引入到形式化的协议验证中 ) ; 利用 BDL可以一致性的操纵包含序列或协同图的 UML行为视图 , 并且不同 UML行为视图可以相互转换; 在 BDL中 , 用事件的偏序集合来表示对象间的相互交互 , 用对象间的一些基本的交互来描述整个系统的行为。 16 FDT与 UML相结合 —GPDL GPDL (Graphical Protocol Description Language ) 一个图形化的协议设计语言 , 描述协议的结构和行为; GPDL的重要性在于把 UML的图形引入到了协议设计中 , 使之可视化; GPDL包含两部分:一是 图 和 文本 , 图的结构使协议设计形象化 , 当图形不能表示时 , 就用文字说明;另一部分是 GAEL (Generic Action Extension Language)用来表达协议的语义信息 , 以弥补 UML的不足。 17 FDT与 UML相结合 —GPDL GPDL主要用于协议的设计和实现 , 用GPDL描述的协议可以比较容易地转换成SDL标准。 需 求 描 述领 域 和 系统 分 析协 议 层设 计实 现测 试维 护G P D L 应。协议开发的理论与方法
相关推荐
中等教育 【 】 三年制 小 学高 中 初 中 幼儿园 九年义务教育 第 19课 改革发展中的教育 一、科教兴国的奠基工程 到 2020年,全国基本实现了 普及九年义务教育。 我国的小学、初中发展水平已居于发展中人口大国的前列。 第 20课 改革发展中的教育 一、科教兴国的奠基工程 20世纪 90年代,党和政府实施了“ 科教兴国 ” 的发展战略。 把 “ 九年义务教育 ” 作为科教兴国的奠基工程
行改扩建阶段都要开展 HAZOP工作,多项安全论证同时进行,包括 QRA/LOPASIL/FEA等; • HAZOP的工作由业主来强制执行、组织和开展并由独立的有资质的部门来提供 HAZOP协助服务。 职 业 安 全和 健 康 法 令( O S H A 1 9 9 4 )工 业 重 大 事 故 危 害 控 制 法规 ( C I M A H 1 9 9 6 )A P I 7 5 0工 艺 危 害
于研究网络的中心,而在国外已逐渐处于网络边缘。 这与国内信息技术研究比国外起步稍晚的原因是分不开的。 RCCSE 中国科学评价研究中心 3 索引与数据库的发展现状 24 3 索引与数据库的发展现状 •第二,传统的索引理论的研究仍然占据重要地位。 国内外学者对传统索引理论的研究仍然非常重视。 相对而言,国外学者的理论研究更具全面性和系统性。 •第三,索引的应用研究将成为索引研究中的重要内容
). • (A)在任意时刻 ,A、 B两物体的加速度大小相等 • (B)弹簧伸长到最长时 ,A、 B的动量相等 • (C)弹簧恢复原长时 ,A、 B的动量相等 • (D)弹簧压缩到最短时 ,系统的总动能最小 ABD P215 新题快递 . • 图中,轻弹簧的一端固定,另一端与滑块 B相连, B静止在水平直导轨上,弹簧处在原长状态。 另一质量与 B相同滑块 A,从导轨上的 P点以某一初速度向
纠纷依然很多 人员依然短缺 其他 依然。 依然有不如意的地方 2020/11/23 21 已进入质量时代 — 质量决定生存 医疗质量 科研质量 教学质量 服务质量 生活质量 2020/11/23 22 危重病医学的发展史 1970年以后北京、天津的一些医院创建了“三衰病房”、“集中观察室”等治疗危重病的单元 1982年在曾宪九教授的指导下