Formal Specification of Distributed Multimedia Systems

Blair, G.S. and Blair, L. and Bowman, H. and Chetwynd, A.G. (1997) Formal Specification of Distributed Multimedia Systems. University College London Press, 352 pp. ISBN 1-85728-677-4 PB. (The full text of this publication is not available from this repository)

The full text of this publication is not available from this repository. (Contact us about this Publication)

Abstract

The work reported in this book was carried out as part of the EPSRC/DTI sponsored Tempo Project at Lancaster University (in collaboration with BT labs). The aim of the Tempo Project was to investigate formal specification and associated verification techniques to support the development of distributed multimedia systems. The book describes the state of the art in distibuted multimedia computing, highlights requirements for the formal specification and verification of such systems, reviews the available formal specification notations and then, in the light of perceived limitations of the existing approaches, presents a new framework for formal specification of distributed multimedia systems. This framework uses LOTOS to describe the functional behaviour of systems and a real-time temporal logic, called QTL, to describe the non-functional properties.

Item Type: Book
Uncontrolled keywords: Formal specification, distributed multimedia systems, LOTOS, temporal logic
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Science Technology and Medical Studies > School of Computing > Theoretical Computing Group
Faculties > Science Technology and Medical Studies > School of Computing > Systems Architecture Group
Depositing User: Mark Wheadon
Date Deposited: 01 Aug 2009 14:37
Last Modified: 24 Apr 2012 09:43
Resource URI: http://kar.kent.ac.uk/id/eprint/21462 (The current URI for this page, for reference purposes)
  • Depositors only (login required):