On the Suitability of Estelle for Multimedia Systems

Stefan Fischer

doi:10.1007/978-0-387-34892-6_23

On the Suitability of Estelle for Multimedia Systems

Institut für Telematik

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.

Originalsprache	Englisch
Titel	PSTV 1995: Protocol Specification, Testing and Verification XV
Redakteure/-innen	P. Dembinski, M. Sredniawa
Seitenumfang	16
Erscheinungsort	Boston
Herausgeber (Verlag)	Chapman and Hall London
Erscheinungsdatum	1995
Seiten	369-384
ISBN (Print)	978-1-5041-2925-1
ISBN (elektronisch)	978-0-387-34892-6
DOIs	https://doi.org/10.1007/978-0-387-34892-6_23
Publikationsstatus	Veröffentlicht - 1995
Veranstaltung	Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification - Warsaw, Polen Dauer: 01.06.1995 → 01.06.1995

UN SDGs

Dieser Output leistet einen Beitrag zu folgendem(n) Ziel(en) für nachhaltige Entwicklung

SDG 3 – Gesundheit und Wohlergehen
SDG 9 – Industrie, Innovation und Infrastruktur
SDG 11 – Nachhaltige Städte und Gemeinschaften
SDG 12 – Verantwortungsvoller Konsum und Produktion

Dokumente

10.1007/978-0-387-34892-6_23

Weitere Links

researchgate.net

Zitieren

@inbook{30117857d393458d9b7b21a01f7b9938,

title = "On the Suitability of Estelle for Multimedia Systems",

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. ",

author = "Stefan Fischer",

year = "1995",

doi = "10.1007/978-0-387-34892-6\_23",

language = "English",

isbn = "978-1-5041-2925-1",

series = " IFIP Advances in Information and Communication Technology ",

publisher = "Chapman and Hall London",

pages = "369--384",

editor = "P. Dembinski and M. Sredniawa",

booktitle = "PSTV 1995: Protocol Specification, Testing and Verification XV",

note = "Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification ; Conference date: 01-06-1995 Through 01-06-1995",

}

Fischer, S 1995, On the Suitability of Estelle for Multimedia Systems. in P Dembinski & M Sredniawa (Hrsg.), PSTV 1995: Protocol Specification, Testing and Verification XV . IFIP Advances in Information and Communication Technology , Chapman and Hall London, Boston, S. 369-384, Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Polen, 01.06.95. https://doi.org/10.1007/978-0-387-34892-6_23

On the Suitability of Estelle for Multimedia Systems. / Fischer, Stefan.
PSTV 1995: Protocol Specification, Testing and Verification XV . Hrsg. / P. Dembinski; M. Sredniawa. Boston: Chapman and Hall London, 1995. S. 369-384 ( IFIP Advances in Information and Communication Technology ).

Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Kapitel › Begutachtung

TY - CHAP

T1 - On the Suitability of Estelle for Multimedia Systems

AU - Fischer, Stefan

PY - 1995

Y1 - 1995

N2 - 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.

AB - 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.

UR - https://www.researchgate.net/publication/221248589_On_the_Suitability_of_Estelle_for_Multimedia_Systems

U2 - 10.1007/978-0-387-34892-6_23

DO - 10.1007/978-0-387-34892-6_23

M3 - Chapter

SN - 978-1-5041-2925-1

T3 - IFIP Advances in Information and Communication Technology

SP - 369

EP - 384

BT - PSTV 1995: Protocol Specification, Testing and Verification XV

A2 - Dembinski, P.

A2 - Sredniawa, M.

PB - Chapman and Hall London

CY - Boston

T2 - Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification

Y2 - 1 June 1995 through 1 June 1995

ER -

On the Suitability of Estelle for Multimedia Systems

Abstract

UN SDGs

Dokumente

Weitere Links

Fingerprint

Zitieren