2011
DOI: 10.1145/1870121.1870123
|View full text |Cite
|
Sign up to set email alerts
|

SMIL builder

Abstract: We present in this article a temporal SMIL editor with incremental verification capabilities, based on a formal Petri Net--based model. Our authoring tool, named SMIL Builder, allows the author to “build” his document step by step, while insuring at every stage the validity of the current state of the document. These incremental authoring and consistency checking features are based on the H-SMIL-Net model (Hierarchical SMIL Petri Net), a temporal extension of Petri Nets. Our aim is to propose an easy-to-use te… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
8
0
1

Year Published

2012
2012
2021
2021

Publication Types

Select...
5
3

Relationship

1
7

Authors

Journals

citations
Cited by 28 publications
(9 citation statements)
references
References 13 publications
0
8
0
1
Order By: Relevance
“…The aim is to use number of agents, in various SLC, to refine the search result.  We are also planning to integrate SMIL editor [35] to assist travel agencies to develop their SMIL services descriptions step by step, while insuring at every stage the validity of the current state of the multimedia document. The aim is to propose an easy-to-use temporal environment which can satisfy a wide range of users.…”
Section: Discussionmentioning
confidence: 99%
“…The aim is to use number of agents, in various SLC, to refine the search result.  We are also planning to integrate SMIL editor [35] to assist travel agencies to develop their SMIL services descriptions step by step, while insuring at every stage the validity of the current state of the multimedia document. The aim is to propose an easy-to-use temporal environment which can satisfy a wide range of users.…”
Section: Discussionmentioning
confidence: 99%
“…These advantages can be grouped into several categories (called Multimedia Authoring Attributes). These attributes are Editing, Services, Performances, and Formal Modeling / Verification (as in Figure 1) [23].…”
Section: Figure 1 Multimedia Authoring Tool Attributesmentioning
confidence: 99%
“…Consistent checking is a temporal checking of all phases in multimedia authoring (Visual Editor, Kernel Mechanism, and SMIL documents). Consistency checking is important in multimedia authoring and multimedia documents because it ensures the multimedia aspects of the presentation can be executed [23,32]. Creating a multimedia presentation involves writing temporal and spatial relations, writing constraints on temporal writing is sometimes inconsistent.…”
Section: Consistency Checkingmentioning
confidence: 99%
See 1 more Smart Citation
“…Navigation in the presentations can be performed using VCR actions or jumps on a timeline. Basic multimedia presentations can be created with SMIL Builder [Bouyakoub and Belkhir 2011], GRiNS [Bulterman et al 1998], SMILAuthor [Yang and Yang 2003]/SMILAuthor2 [Yang et al 2008], the Synchronization Editor [Blakowski et al 1992], TYRO [MacNeil 1991], MPRES Author [Wong et al 1997], Java-Assisted SMIL (JAS) [Dai et al 2006 [Kelly et al 1995;Katkere et al 1996;Maugey and Frossard 2011;Miller et al 2011;Xiu et al 2012], tools for video annotation using video analysis, m-ontomatannotizer [Petridis et al 2006], or iVAT [Bianco et al 2013], and social video/social TV [Wang et al 2012;Shin 2013] are not taken into account in this survey. They provide certain interactive or nonlinear features, but they are not closely related to the types of extended videos described in this section.…”
Section: Fundamentals and Termsmentioning
confidence: 99%