Skip to main content
SpringerLink
Log in

Multimedia data modeling based on temporal logic and XYZ System

  • Notes
  • Published:
Journal of Computer Science and Technology Aims and scope Submit manuscript

Abstract

This paper proposes a new approach to modeling multimedia data. The new approach is the multimedia data model based on temporal logic and XYZ System. It supports the formal specifications in a multimedia system. Using this model, we can not only specify information units but also design and script a multimedia title in an unified framework. Based on this model, an interactive multimedia authoring environment has been developed.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Hoepner Petra. Synchronizing the presentation of multimedia objects.Computer Communications, 1992, 15(9): 557–564.

    Article  Google Scholar 

  2. Little T D C, Ghafoor A. Synchronization and storage models for multimedia objects.IEEE JSAC, 1990, 8(3): 413–422.

    Google Scholar 

  3. Tang Zhisong. The design philosophy of XYZ System.Journal of Software, 1990, 1(1). (in Chinese)

  4. Tang Zhisong, Zhao Chen. A temporal logic language oriented toward software engineering.Journal of Software, 1994, 5(12): 1–16. (in Chinese)

    Google Scholar 

  5. Ma Huadong, Liu Shenquan. Temporal logic based animation description model.Chinese J. Computers 1995, 18(11): 814–821. (in Chinese)

    Google Scholar 

  6. Ma Huadonget al. The design and implementation of animation script language SDL/A.Journal of Software, 1996, 7(7): 385–393. (in Chinese)

    Google Scholar 

  7. Manna Z, Pnueli A. Temporal Logic for Reactive and Concurrent System. Springer-Verlag, 1992.

  8. Meira S R L, Moura A E L. A scripting language for multimedia presentations. InProc. 1st IEEE Int. Conf. Multimedia Computing and Systems, Boston, 1994.

  9. Zhang Xia. Actor model: A multimedia data presentation model.Journal of Software, 1996, 7(8): 471–480. (in Chinese)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science & Technology, Beijing University of Posts and Telecommunications, 100876, Beijing, P.R. China

    Ma Huadong

  2. CAD Laboratory, Institute of Computing Technology, Chinese Academy of Sciences, 100080, Beijing, P.R. China

    Ma Huadong & Liu Shenquan

Authors
  1. Ma Huadong
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Liu Shenquan
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Ma Huadong.

Additional information

The project is supported by the National Natural Science Foundation of China and the Science Foundation of the Ministry of Posts and Telecommunications for Young Teachers.

MA Huadong is an Associate Professor of Department of Computer Science and Technology, Beijing University of Posts and Telecommunications. He received his Ph.D. degree in computer science from Institute of Computing Technology, Chinese Academy of Sciences in 1995, M.S. degree in computer science from Shenyang Institute of Computing Technology, Chinese Academy of Sciences in 1990 and B.S. degree in mathematics from Henan Normal University in 1984. His research interests are multimedia, computer animation and computer graphics. He has published over 30 papers and books on these fields.

LIU Shenquan is a Professor of Institute of Computing Technology, Chinese Academy of Sciences. He graduated from Mathematics Department of Sichuan University in 1956 and received his Ph.D. degree in Russia in 1962. His research interests include computer graphics, visualization, animation and CAD/CAM.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Ma, H., Liu, S. Multimedia data modeling based on temporal logic and XYZ System. J. Comput. Sci. & Technol. 14, 188–193 (1999). https://doi.org/10.1007/BF02946527

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02946527

Keywords

Search

Navigation