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 (doi:10.1109/ICCIMA.1999.798552)

[img] Text


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


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 Sections
Glasgow Author(s) Enlighten ID:Sinnott, Professor 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