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

[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.