Conference Paper (published)

Formal specification of QoS properties

Details

Citation

Donaldson AJM & Turner KJ (1994) Formal specification of QoS properties. In: Meer Jd, Bochmann Gv & Vogel A (eds.) Proceedings of the Workshop on Distributed Multimedia Applications and QoS Verification. Workshop on Distributed Multimedia Applications and QoS Verification, CRIM (Computer Research Institute of Montreal), Montreal, Canada. Montreal: CRIM, pp. 1-14. http://www.cs.stir.ac.uk/~kjt/research/pdf/form-qos.pdf

Abstract
We describe the specification of communication services, with special emphasis being placed on the use of the Temporal Logic of Actions (TLA) to describe the behaviours involved. We show how, startingfrom Message Sequence Charts, this temporal logic may be used to describe The Joint Viewing and Tele Operating Service (JVTOS) and its associated functions; and so lead on to the specification of QoS parameters. We discuss the approach that was taken to determine the exact nature of the Quality of Service parameters, and how the method may be used to extend the specification, and probe further aspects of the services and protocols involved.

StatusPublished
Publication date31/12/1994
URLhttp://hdl.handle.net/1893/549
PublisherCRIM
Publisher URLhttp://www.cs.stir.ac.uk/~kjt/research/pdf/form-qos.pdf
Place of publicationMontreal
ConferenceWorkshop on Distributed Multimedia Applications and QoS Verification
Conference locationCRIM (Computer Research Institute of Montreal), Montreal, Canada

People (1)

Professor KEN Turner

Professor KEN Turner

Emeritus Professor, Computing Science

Files (1)