-
赵宇虹
-
-
- 所属机构:北京邮电大学
- 所在地区:北京市
- 研究方向:电子电信
相关作者
- 艾波
- 作品数：56被引量：438H指数：9
- 供职机构：北京邮电大学计算机学院
- 研究主题：软件体系结构 电信运营支撑系统 SDL 面向对象 抽象状态机
- 基于ASM的SDL语义形式定义研究
- 本文研究的重点是SDL的形式语义定义方法，在分析SDL-88和SDL-2000语义定义方法的基础上提一种改进的SDL-2000形式语义的方法。另一方面，考虑到SDL与UML结合使用的发展趋势，提出用ASM定义UML形式语...
- 赵宇虹
- 关键词：规范描述语言抽象状态机形式语义
- 文献传递
- SDL静态语义定义研究被引量：1
- 2002年
- 在分析当前 SDL (Specification and Description Language)静态语义定义方法的基础上 ,从另一角度给出了用抽象状态机 (ASM:Abstract State Machine)定义 SDL静态语义定义的方法。与现有方法相比 ,该方法不直接使用语法树 ,而是利用静态和动态函数定义静态语义 ,解决了现行方法中“=”引起的二义性问题 。
- 赵宇虹艾波
- 关键词：SDL语言
- 用基本ASM定义SDL动态语义被引量：2
- 2002年
- 提出了用基本 ASM(Abstract State Machine)定义 SDL(Specisification and Descripiton Language)动态语义的方法框架。由于 SDL的复杂性 ,重点介绍了用 ASM模拟 SDL状态机交替工作方式 ,创建 agent和procedure实例以及复合状态应用。该方法简化了当前用分布式 ASM定义的
- 赵宇虹艾波
- 关键词：SDL语言动态语义
- SDL-2000动态语义定义方法
- 2002年
- 讨论了 SDL-2 0 0 0的建议 Z.1 0 0的附件 F中用分布式实时抽象状态机 (ASM:Abstract StateMachine)形式地定义 SDL (Specisification and Descripiton Language)动态语义的方法。与基于通信顺序进程的方法相比 ,该方法能够更直接地定义 SDL的动态语义 ,具有易于维护和可读性好等特点。
- 赵宇虹艾波
- 关键词：SDL语言动态语义
- 一种用基本ASM定义SDL静态语义的方法被引量：2
- 2004年
- 提出直接用基本AbstractStateMachine定义SpecificationandDescriptionLanguage静态语义的形式方法,其主要特点是:语法域中的元素统一解释为语法值;转换规则定义为ASM规则;映射规则定义为一系列称为t-函数的映射函数形式.
- 赵宇虹艾波
- 关键词：ASMSDL映射函数抽象状态机
