| Techreport |
| Type of Publication |
| On the Suitability of Estelle for Multimedia
Systems |
| Title |
|
| Authors |
| Technical Report TR-95-005, Department for Mathematics and Computer Science,
University of Mannheim, 1995 |
| Published in |
| Formal Description Techniques have been
widely used for the specification of traditional networked
applications. They have not been applied to the specification of
new applications such as multimedia systems yet. In this paper,
we examine the FTD Estelle with respect to its suitability for
multimedia system specification and automatic derivation of
efficient implementations. We show that it is possible to specify
certain aspects of multimedia systems, but that Estelle is not
sufficient for others. The derived implementations often perfrom
badly. We show the reasons and propose to use a slightly modified
Estelle sntax and semantics to solve the problems. The
implemented solution was tested successfully. |
| Abstract |
|
Estelle
Multimedia Systems
Quality of Service
Implementation
|
| Keywords |
| [PDF]
[BIB] [XML] |
| Downloads & Bib-Entries |
