Skip to main content
SpringerLink
Log in

Modeling and validation support for interactive networked multimedia applications

  • Workshop on Parallel and Distributed Real-Time Systems David Andrews, UofA, USA P.D.V. van der Stok, Eindhoven University, The Netherlands Kenji Toda, Electro-tech Laboratory, Japan
  • Conference paper
  • First Online:
Parallel and Distributed Processing (IPPS 1998)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1388))

Included in the following conference series:

  • 105 Accesses

Abstract

This work presents MUSE, a graphical environment for modeling interactive networked multimedia applications. Through an advanced graphic interface and a new high-level authoring model, it is possible to create complex systems in a fast and intuitive way. The authoring model proposed in this work and adopted by the environment deals with media objects distributed in a computer network, allowing the definition of acceptable delay thresholds and alternative media objects. Due to the large expressiveness of the model, however, specifications can be generated with logical and temporary inconsistencies. For this reason, the environment also provides E-LOTOS specifications used with the purpose of analyzing and verifying the applications aiming at validating the temporal requirements defined by the author.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. G. Blakowski and R. Steinmetz. A Media Synchronization Survey: Reference Model, Specification, and Case Studies. IEEE Journal on Selected Areas in Communications, 14(1): 5–35, January 1996.

    Article  Google Scholar 

  2. ISO/IEC DIS 13522-5. Information Technology — Coding of Multimedia and Hypermedia Information Part 5: Support for Base-Level Interactive Applications, 1995.

    Google Scholar 

  3. N. Hirzalla, B. Falchuk and A. Karmouch. A Temporal Model for Interactive Multimedia Scenarios. IEEE Multimedia, 24–31, fall 1995.

    Google Scholar 

  4. L. Soares e R. Rodrigues. Autoria e Formataçâo Estruturada de Documentos Hypermeídia corn Restrições Temporais. In Proc. of the 3rd Workshop on Multimedia and Hypermedia Systems, São Carlos, Brazil, May 1997.

    Google Scholar 

  5. P. Sénac, R Wilh-ich, P. de Saqui-Sannes. Hierarchical Time Stream Petri Nets: A Model for Hypermedia Systems. In Application and Theory of Petri Nets, 1995.

    Google Scholar 

  6. P. Sénac, M. Diaz and P. de Saqui-Sannes. Toward a formal specification of multimedia synchronization scenarios. Ann. Telécommun. No. 49, pp 297–314.

    Google Scholar 

  7. ISO/IEC JTC1/SC21/WG7. Enhancements to LOTOS. Revised Working Drafts on Enhancements to LOTOS (V4), Project WI 1.21.20.2.3, January 1997.

    Google Scholar 

  8. J. P. Courtiat and R.C. de Oliveira. Proving Temporal Consistency in a New Multimedia Synchronization Model. ACM Multimedia, Boston, 1996.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Instituto de Infomática Curso de Pós-Graduação em Ciência da Computação Campus do Vale, Bloco IV, Universidade Federal do Rio Grande do Sul, Bento Gonçalves, 9500 - Agronomia 91591-970, Porto Alegre, RS, Brazil

    Luciano Paschoal Gaspary & Maria Janilce B. Almeida

Authors
  1. Luciano Paschoal Gaspary
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Maria Janilce B. Almeida
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

José Rolim

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gaspary, L.P., Almeida, M.J.B. (1998). Modeling and validation support for interactive networked multimedia applications. In: Rolim, J. (eds) Parallel and Distributed Processing. IPPS 1998. Lecture Notes in Computer Science, vol 1388. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-64359-1_773

Download citation

  • DOI: https://doi.org/10.1007/3-540-64359-1_773

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-64359-3

  • Online ISBN: 978-3-540-69756-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation