Enlighten
Research publications by members of the University of Glasgow
home > services > Enlighten

Specifying multimedia configurations in Z

Sinnott, R.O. (1999) Specifying multimedia configurations in Z. In: Verma, B. (ed.) Proceedings: Third International Conference on Computational Intelligence and Multimedia Applications: ICCIMA '99, September 23-26, 1999, New Delhi, India. IEEE Computer Society, Los Alamitos, USA, pp. 331-335. ISBN 9780769503004

[img] Text
7239.pdf

75Kb

Publisher's URL: http://dx.doi.org/10.1109/ICCIMA.1999.798552

Abstract

In this paper we illustrate how the formal specification language Z can be used to reason about the temporal and throughput constraints associated with multimedia flows of information. In particular we show how it is possible to specify issues related to maximum delays, throughputs and jitter of information flows and how control of these flows can be achieved. What makes our work particularly interesting is that we deal with temporal aspects of systems without the use of a temporal logic. Rather, we highlight the versatility of the Z language in modelling systems with real time constraints.

Item Type:Book Section
Status:Published
Refereed:Yes
Glasgow Author(s):Sinnott, Prof Richard
Authors: Sinnott, R.O.
Subjects:Q Science > QA Mathematics > QA75 Electronic computers. Computer science
College/School:University Services > IT Services > Computing Service
Journal Name:Conference on Computational Intelligence and Multimedia Applications
Publisher:IEEE Computer Society
Copyright Holders:Copyright © 1999 IEEE Computer Society
Publisher Policy:Reproduced in accordance with the copyright policy of the publisher.

University Staff: Request a correction | Enlighten Editors: Update this record

Downloads per month over past year

View more statistics