Abstract
Original language | English |
---|---|
Title of host publication | ACM Special Interest Group for Design of Communications |
Editors | S.B. Jones, D.G. Novick |
Pages | 113-116 |
Number of pages | 4 |
Publication status | Published - 2003 |
Event | ACM Special Interest Group for Design of Communications - San Francisco, United States Duration: 12 Oct 2003 → 15 Oct 2003 http://www.sigdoc2003.cs.uvic.ca/ |
Conference
Conference | ACM Special Interest Group for Design of Communications |
---|---|
Abbreviated title | SIGDOC 2003 |
Country | United States |
City | San Francisco |
Period | 12/10/03 → 15/10/03 |
Internet address |
Fingerprint
Keywords
- Formal methods
- Hypermedia design
- Streamed media
- Synchronized multimedia integration language (SMIL), Computer science
- Electronic commerce
- HTML
- Hypermedia systems
- Mathematical models
- Motivation
- Multimedia systems
- Synchronization, XML
Cite this
Formal design of SMIL presentations. / Newman, R.M.; Gaura, E.I.
ACM Special Interest Group for Design of Communications. ed. / S.B. Jones; D.G. Novick. 2003. p. 113-116.Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding
}
TY - GEN
T1 - Formal design of SMIL presentations
AU - Newman, R.M.
AU - Gaura, E.I.
PY - 2003
Y1 - 2003
N2 - SMIL (Synchronised Multimedia Integration Language) is an XML language for the distribution of synchronised video, sound and other media in presentations, and is likely to be the preferred format for distribution of multimedia presentations that include synchronised and streamed media. Previous work has argued that conventional hypermedia design methods provide insufficient design rigour to allow their use with confidence for safety and mission critical applications. It was shown how formal methods, derived from the theory of computer science, could be applied to the design of hypermedia presentations to provide a rigorous design technique. Two limitations of this work are discussed. The first is its restriction to closed systems. Although it was argued that most safety critical hypermedia systems are closed, this is not the case with many 'mission critical' applications, particularly those in e-business. The second limitation is the application of the technique to a relatively small number of media. Again, safety critical applications tend to be conservative in their use of media, but it would be advantageous for many other application areas if this constraint were not there. This paper discusses how this work may be extended in two key areas to remove these limitations. The first allows the method to be used the design of SMIL presentations, providing a means of rigorous design for synchronised and streamed media, necessary in these media are to be used in safety and mission critical applications, and is achieved by a detailed extension of the underlying models on which the method is based to cover the operation of SMIL. Copyright 2003 ACM.
AB - SMIL (Synchronised Multimedia Integration Language) is an XML language for the distribution of synchronised video, sound and other media in presentations, and is likely to be the preferred format for distribution of multimedia presentations that include synchronised and streamed media. Previous work has argued that conventional hypermedia design methods provide insufficient design rigour to allow their use with confidence for safety and mission critical applications. It was shown how formal methods, derived from the theory of computer science, could be applied to the design of hypermedia presentations to provide a rigorous design technique. Two limitations of this work are discussed. The first is its restriction to closed systems. Although it was argued that most safety critical hypermedia systems are closed, this is not the case with many 'mission critical' applications, particularly those in e-business. The second limitation is the application of the technique to a relatively small number of media. Again, safety critical applications tend to be conservative in their use of media, but it would be advantageous for many other application areas if this constraint were not there. This paper discusses how this work may be extended in two key areas to remove these limitations. The first allows the method to be used the design of SMIL presentations, providing a means of rigorous design for synchronised and streamed media, necessary in these media are to be used in safety and mission critical applications, and is achieved by a detailed extension of the underlying models on which the method is based to cover the operation of SMIL. Copyright 2003 ACM.
KW - Formal methods
KW - Hypermedia design
KW - Streamed media
KW - Synchronized multimedia integration language (SMIL), Computer science
KW - Electronic commerce
KW - HTML
KW - Hypermedia systems
KW - Mathematical models
KW - Motivation
KW - Multimedia systems
KW - Synchronization, XML
M3 - Conference proceeding
SP - 113
EP - 116
BT - ACM Special Interest Group for Design of Communications
A2 - Jones, S.B.
A2 - Novick, D.G.
ER -