摘要
介绍了一种新的形式化描述思想 ,即“相关分离”的思想 ,并分析了基于此思想的双语言方法 ,与传统的单一语言的描述技术相比 ,“相关分离”的思想和双语言方法更适合于分布式多媒体的描述 .结合对面向对象技术在分布式多媒体的形式化描述中应用的方法分析 ,本文提出了一种以LOTOS/QTL或Esterel/QL为基础 ,融合面向对象技术的形式化描述方案 。
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.
出处
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
2000年第2期206-209,共4页
Journal of Beijing University of Aeronautics and Astronautics
基金
国家部委基金资助项目
关键词
形式语言
分布式多媒体
服务质量
面向对象技术
distribution computers
real time
formal languages
distributed multimedia
quality of service
object oriented design
