On the Suitability of Estelle for Multimedia Systems

Fischer, Stefan

Preview

PDF
TR-95-005.pdf - Published
Download (428kB)

URL:	https://ub-madoc.bib.uni-mannheim.de/804
URN:	urn:nbn:de:bsz:180-madoc-8047
Document Type:	Working paper
Year of publication:	1995
The title of a journal, publication series:	Technical Reports
Volume:	95-005
Place of publication:	Mannheim
Publication language:	English
Institution:	School of Business Informatics and Mathematics > Sonstige - Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik
MADOC publication series:	Veröffentlichungen der Fakultät für Mathematik und Informatik > Institut für Informatik > Technical Reports
Subject:	004 Computer science, internet
Subject headings (SWD):	ESTELLE , Multimedia
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.