Abstract
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 FDT 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 perform badly. We show the reasons and propose to use a slightly modified Estelle syntax and semantics to solve the problems. The implemented solution was tested successfully.
| Original language | English |
|---|---|
| Title of host publication | PSTV 1995: Protocol Specification, Testing and Verification XV |
| Editors | P. Dembinski, M. Sredniawa |
| Number of pages | 16 |
| Place of Publication | Boston |
| Publisher | Chapman and Hall London |
| Publication date | 1995 |
| Pages | 369-384 |
| ISBN (Print) | 978-1-5041-2925-1 |
| ISBN (Electronic) | 978-0-387-34892-6 |
| DOIs | |
| Publication status | Published - 1995 |
| Event | Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification - Warsaw, Poland Duration: 01.06.1995 → 01.06.1995 |
