About the semantic verification of SMIL documents

P. N.M. Sampaio; C. A.S. Santos; J. P. Courtiat

About the semantic verification of SMIL documents

P. N.M. Sampaio
, C. A.S. Santos
, J. P. Courtiat

Research output: Contribution to conference › Paper (Contribution to a conference) › peer-review

22 Scopus citations

Abstract

This paper presents a formal approach based on the RT-LOTOS formal description technique for the semantic verification of SMIL documents. The reachability analysis of RT-LOTOS specifications provides the verification of consistency properties of a document and, later on, it also enables the generation of a valid scheduling graph for its presentation. This graph characterizes the reference behaviours for the presentation of a document. Also, some erroneous semantic interpretations of SMIL documents which are not conformant with their reference behaviours are illustrated using some currently available SMIL players.

Original language	English
Pages	1675-1678
Number of pages	4
State	Published - 2000
Externally published	Yes
Event	2000 IEEE International Conference on Multimedia and Expo (ICME 2000) - New York, NY, United States Duration: 30 Jul 2000 → 2 Aug 2000

Conference

Conference	2000 IEEE International Conference on Multimedia and Expo (ICME 2000)
Country/Territory	United States
City	New York, NY
Period	30/07/00 → 2/08/00

Keywords

Formal Methods
Multimedia and Hypermedia Documents
RT-LOTOS
SMIL

Cite this

@conference{cb73130828a64bf2bc7db3cb77c29bf8,

title = "About the semantic verification of SMIL documents",

abstract = "This paper presents a formal approach based on the RT-LOTOS formal description technique for the semantic verification of SMIL documents. The reachability analysis of RT-LOTOS specifications provides the verification of consistency properties of a document and, later on, it also enables the generation of a valid scheduling graph for its presentation. This graph characterizes the reference behaviours for the presentation of a document. Also, some erroneous semantic interpretations of SMIL documents which are not conformant with their reference behaviours are illustrated using some currently available SMIL players.",

keywords = "Formal Methods, Multimedia and Hypermedia Documents, RT-LOTOS, SMIL",

author = "Sampaio, \{P. N.M.\} and Santos, \{C. A.S.\} and Courtiat, \{J. P.\}",

year = "2000",

language = "Ingl{\'e}s",

pages = "1675--1678",

note = "2000 IEEE International Conference on Multimedia and Expo (ICME 2000) ; Conference date: 30-07-2000 Through 02-08-2000",

}

TY - CONF

T1 - About the semantic verification of SMIL documents

AU - Sampaio, P. N.M.

AU - Santos, C. A.S.

AU - Courtiat, J. P.

PY - 2000

Y1 - 2000

N2 - This paper presents a formal approach based on the RT-LOTOS formal description technique for the semantic verification of SMIL documents. The reachability analysis of RT-LOTOS specifications provides the verification of consistency properties of a document and, later on, it also enables the generation of a valid scheduling graph for its presentation. This graph characterizes the reference behaviours for the presentation of a document. Also, some erroneous semantic interpretations of SMIL documents which are not conformant with their reference behaviours are illustrated using some currently available SMIL players.

AB - This paper presents a formal approach based on the RT-LOTOS formal description technique for the semantic verification of SMIL documents. The reachability analysis of RT-LOTOS specifications provides the verification of consistency properties of a document and, later on, it also enables the generation of a valid scheduling graph for its presentation. This graph characterizes the reference behaviours for the presentation of a document. Also, some erroneous semantic interpretations of SMIL documents which are not conformant with their reference behaviours are illustrated using some currently available SMIL players.

KW - Formal Methods

KW - Multimedia and Hypermedia Documents

KW - RT-LOTOS

KW - SMIL

UR - https://www.scopus.com/pages/publications/0034503085

M3 - Texto Científico (Contribución a una conferencia)

AN - SCOPUS:0034503085

SP - 1675

EP - 1678

T2 - 2000 IEEE International Conference on Multimedia and Expo (ICME 2000)

Y2 - 30 July 2000 through 2 August 2000

ER -

About the semantic verification of SMIL documents

Abstract

Conference

Keywords

Other files and links

Fingerprint

Cite this