ERCIM Research Report - 02/97-R048
ERCIM
Computer Graphics Network
D.J. Duke, D.A.Duce, I. Herman, G.Faconti
February, 1997
This paper describes the formal specification of object types for managing
intra-media synchronisation and control within PREMO, an emerging ISO/IEC
standard for multimedia systems. Object-Z, an object-oriented extension
to the Z specification language, is used for this purpose. Some aspects
of PREMO are non-trivial to express in Object-Z, and the paper outlines
the reasons for choosing this specific language, and sets out recommendations
for further research in the use of formal languages in this area. The work
reported here has been carried out by members of the ISO/SC24 committee
involved in producing the PREMO standard, and has been informed by a number
of workshops sponsored by the ERCIM Computer Graphics Network.
Interested?
gziped
PostScript file (use the "load to disc" option)
PDF
file (For PDF files, a
free viewer (Acrobat Reader) is available from Adobe Systems.
