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)

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 Sections
• Status: Published
• Refereed: Yes
• 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
• ISBN: 9780769503004
• Copyright Holders: Copyright © 1999 IEEE Computer Society
• Publisher Policy: Reproduced in accordance with the copyright policy of the publisher.