协议开发的理论与方法内容摘要:

(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 应。
阅读剩余 0%
本站所有文章资讯、展示的图片素材等内容均为注册用户上传(部分报媒/平媒内容转载自网络合作媒体),仅供学习参考。 用户通过本站上传、发布的任何内容的知识产权归属用户或原始著作权人所有。如有侵犯您的版权,请联系我们反馈本站将在三个工作日内改正。