留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

用面向对象技术实现相关分离的双语言描述

孙文彦 熊璋 宋京民

孙文彦, 熊璋, 宋京民等 . 用面向对象技术实现相关分离的双语言描述[J]. 北京航空航天大学学报, 2000, 26(2): 206-209.
引用本文: 孙文彦, 熊璋, 宋京民等 . 用面向对象技术实现相关分离的双语言描述[J]. 北京航空航天大学学报, 2000, 26(2): 206-209.
SUN Wen-yan, XIONG Zhang, SONG Jing-minet al. Implementation of Dual Languages Specification for Idea of Separation of Concern with OOD[J]. Journal of Beijing University of Aeronautics and Astronautics, 2000, 26(2): 206-209. (in Chinese)
Citation: SUN Wen-yan, XIONG Zhang, SONG Jing-minet al. Implementation of Dual Languages Specification for Idea of Separation of Concern with OOD[J]. Journal of Beijing University of Aeronautics and Astronautics, 2000, 26(2): 206-209. (in Chinese)

用面向对象技术实现相关分离的双语言描述

基金项目: 国家部委基金资助项目
详细信息
    作者简介:

    孙文彦(1973-),女,山西大同人,博士生,100083,北京.

  • 中图分类号: TP 301.2

Implementation of Dual Languages Specification for Idea of Separation of Concern with OOD

  • 摘要: 介绍了一种新的形式化描述思想,即"相关分离"的思想,并分析了基于此思想的双语言方法,与传统的单一语言的描述技术相比,"相关分离"的思想和双语言方法更适合于分布式多媒体的描述.结合对面向对象技术在分布式多媒体的形式化描述中应用的方法分析,本文提出了一种以LOTOS/QTL或Esterel/QL为基础,融合面向对象技术的形式化描述方案,该方案可用于建立分布式多媒体系统的时间模型和同步模型.

     

  • [1] Blair G,Blair L,Chetwynd A,et al. The formal specification of distributed multimedia systems[M]. London:University College Landon Press, 1998. [2]Raghavan S V,Prabhakaran B,Tripathi S K. Synchronization representation and traffic source modeling in orchestrated presentation[J].IEEE J Select Areas Commun,1996, 14(1):104~113. [3]Blair G S,Coulson G,Pipithomis M,et al. A programming model and system infrastructure for real-time synchronization in distributed multimedia systems[J]. IEEE J Select Areas Commun,1996, 14(1):249~263. [4]Ates A F,Bilgic M,Saito S,et al. Using timed CSP for specification verification and simulation of multimedia synchronization[J]. IEEE J Select Areas Commun,1996, 14(1):126~137.
  • 加载中
计量
  • 文章访问数:  2294
  • HTML全文浏览量:  20
  • PDF下载量:  811
  • 被引次数: 0
出版历程
  • 收稿日期:  1998-10-30
  • 网络出版日期:  2000-02-29

目录

    /

    返回文章
    返回
    常见问答