| 用面向对象技术实现相关分离的双语言描述 |
| |
| 引用本文： | 孙文彦,熊璋,宋京民.用面向对象技术实现相关分离的双语言描述[J].北京航空航天大学学报,2000,26(2):206-209. |
| |
| 作者姓名： | 孙文彦 熊璋 宋京民 |
| |
| 作者单位： | 北京航空航天大学 计算机科学与工程系 |
| |
| 摘 要： | 介绍了一种新的形式化描述思想,即"相关分离"的思想,并分析了基于此思想的双语言方法,与传统的单一语言的描述技术相比,"相关分离"的思想和双语言方法更适合于分布式多媒体的描述.结合对面向对象技术在分布式多媒体的形式化描述中应用的方法分析,本文提出了一种以LOTOS/QTL或Esterel/QL为基础,融合面向对象技术的形式化描述方案,该方案可用于建立分布式多媒体系统的时间模型和同步模型.
|
| 关 键 词： | 分布式计算机 实时 形式语言 分布式多媒体 服务质量 面向对象技术 |
| 收稿时间： | 1998-10-30 |
| 修稿时间： | : |
Implementation of Dual Languages Specification for Idea of Separation of Concern with OOD |
| |
| SUN Wen-yan,XIONG Zhang,SONG Jing-min.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. |
| |
| Authors: | SUN Wen-yan XIONG Zhang SONG Jing-min |
| |
| Institution: | Beijing University of Aeronautics and Astronautics,Dept. of Computer Science and Engineering |
| |
| 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. |
| |
| Keywords: | distribution computers real time formal languages distributed multimedia quality of service object oriented design |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《北京航空航天大学学报》浏览原始摘要信息 |
| 点击此处可从《北京航空航天大学学报》下载免费的PDF全文 |
