1998
DOI: 10.1002/(sici)1097-024x(199809)28:11<1185::aid-spe197>3.0.co;2-p
|View full text |Cite
|
Sign up to set email alerts
|

Specification and verification of multimedia synchronization scenarios using time-Estelle

Abstract: SUMMARYMultimedia synchronization scenario modelling can be classified into four categories: axes-based model; synchronization point control; event-based model; and interval-based model.1 Existing formal languages do not support the specifications and verifications of all these four categories of synchronization scenarios. Estelle, 2 an internationally standardised Formal Description Technique (FDT), unfortunately does not have enough expressive power to specify the time-dependent behaviours of a multimedia sy… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1

Citation Types

0
3
0

Year Published

1999
1999
2007
2007

Publication Types

Select...
2
1
1

Relationship

2
2

Authors

Journals

citations
Cited by 4 publications
(3 citation statements)
references
References 10 publications
0
3
0
Order By: Relevance
“…It does not have enough expressive power to describe the timing behaviours of distributed and multimedia systems. We have therefore developed Time-Estelle (Tsang et al, 1997;Tsang and Lai, 1998) to address this limitation. Time-Estelle includes the following additional features and concepts to Estelle: Time point, Module life time, Firing Interval, and Temporal operators.…”
Section: Time-estellementioning
confidence: 99%
See 1 more Smart Citation
“…It does not have enough expressive power to describe the timing behaviours of distributed and multimedia systems. We have therefore developed Time-Estelle (Tsang et al, 1997;Tsang and Lai, 1998) to address this limitation. Time-Estelle includes the following additional features and concepts to Estelle: Time point, Module life time, Firing Interval, and Temporal operators.…”
Section: Time-estellementioning
confidence: 99%
“…There is therefore a need for us to develop a variant of Estelle to address its limitations for use in multimedia system development. We call this variant, Time-Estelle (Tsang et al, 1997;Tsang and Lai, 1998) which is able to express multimedia quality of service (QoS) parameters, synchronisation scenarios, and time-dependent and probabilistic behaviours for performance analysis of multimedia protocols.…”
Section: Introductionmentioning
confidence: 99%
“…There is therefore a need for developing a variant of a standard FDT, say Estelle, to address its limitations for uses in multimedia system development. We call this variant, Time-Estelle [1] which is able to express multimedia Quality of Service (QoS) parameters, synchronisation scenarios, and time-dependent and probabilistic behaviours for performance analysis of multimedia protocols. Time-Estelle includes the following additional features and concepts: time point, module life time, clock, firing interval, temporal operators, timed transition, polling operators and time probabilistic operations.…”
Section: Introductionmentioning
confidence: 99%