Temporal Specification Composition Techniques for Multimedia Program Design
DOI:
Author:
Affiliation:

Clc Number:

Fund Project:

  • Article
  • |
  • Figures
  • |
  • Metrics
  • |
  • Reference
  • |
  • Related
  • |
  • Cited by
  • |
  • Materials
  • |
  • Comments
    Abstract:

    Composition is essential in the research of formal specifications. It facilitates the design, synthesis, testing and reuse of large programs. In order to facilitate users to specify the temporal specification at the time of authoring a multimedia program, a composition model is needed. Recently various such models have been proposed in literature, which include language-based model, graphical model, time-interval based model, object-oriented model, etc. However, most of these models are lowly abstract and it is difficult to support the composition of two multimedia programs. In this paper, by introducing a new concept unit stream and extending two temporal relations, the structuring technique is studied in order to allow complex multimedia programs to be structured, making them understandable for designers, and to allow multimedia programs to be authored in terms of composition of general purpose multimedia programs that can be re-used in authoring various different multimedia programs.

    Reference
    Related
    Cited by
Get Citation

赵琛.多媒体节目时序描述的组合技术.软件学报,2001,12(3):398-404

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:July 16,1999
  • Revised:December 03,1999
  • Adopted:
  • Online:
  • Published:
You are the firstVisitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063