Implementation of Dual Languages Specification for Idea of Separation of Concern with OOD
-
摘要: 介绍了一种新的形式化描述思想,即"相关分离"的思想,并分析了基于此思想的双语言方法,与传统的单一语言的描述技术相比,"相关分离"的思想和双语言方法更适合于分布式多媒体的描述.结合对面向对象技术在分布式多媒体的形式化描述中应用的方法分析,本文提出了一种以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.
-
[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. -
点击查看大图
计量
- 文章访问数: 2393
- HTML全文浏览量: 46
- PDF下载量: 813
- 被引次数: 0
下载:
