北京航空航天大学学报 ›› 2000, Vol. 26 ›› Issue (2): 206-209.

• 论文 • 上一篇    下一篇

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

孙文彦, 熊璋, 宋京民   

  1. 北京航空航天大学 计算机科学与工程系
  • 收稿日期:1998-10-30 出版日期:2000-02-29 发布日期:2010-09-27
  • 作者简介:孙文彦(1973-),女,山西大同人,博士生,100083,北京.
  • 基金资助:

    国家部委基金资助项目

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

SUN Wen-yan, XIONG Zhang, SONG Jing-min   

  1. Beijing University of Aeronautics and Astronautics,Dept. of Computer Science and Engineering
  • Received:1998-10-30 Online:2000-02-29 Published:2010-09-27

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

Abstract: A new idea of formal specification named "separation of concern" has been discussed. The dual languages technique based on this idea has also been analyzed. Compared with traditional single language technique, "separation of concern" and dual languages techniques are more suitable to represent the distributed multimedia systems. Combined with the application of OOD(Object Oriented Design) in formal specification of distributed multimedia system, a scheme building on ground of LOTOS/QTL (or Esterel/QL) and adopting the idea of OOD has been given. This method can be used to construct time model and synchronization model in distributed multimedia systems.

中图分类号: 


版权所有 © 《北京航空航天大学学报》编辑部
通讯地址:北京市海淀区学院路37号 北京航空航天大学学报编辑部 邮编:100191 E-mail:jbuaa@buaa.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发