Download:
|
by D. J. Duke, D. A. Duce, I. Herman, G. Faconti
http://kazan.cnuce.cnr.it/papers/abstracts/9706.DSVIS.SOobjectZ.ps.gz
Add To MetaCart
Abstract:
This paper describes the formal specification of object types for managing inter-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. 1
Citations
|
1000
|
The Z Notation - A Reference Manual
– Spivey
- 1989
|
|
190
|
Requirements specification for process-control systems
– Leveson, Heimdahl, et al.
|
|
145
|
Object-Z: a Specification Language Advocated for the Description of Standards
– Duke, Rose, et al.
- 1995
|
|
133
|
ed; Specification Case Studies
– Hayes
- 1987
|
|
72
|
The Object-Z Specification Language, Version 1
– Duke, Rose
- 1991
|
|
55
|
ObjectZ: An object-oriented extension to Z
– Carrington, Duke, et al.
- 1990
|
|
22
|
Tactus: Toolkit-level support for synchronized interactive multimedia
– Dannenberg, Neuendorffer, et al.
- 1992
|
|
12
|
ISO Standards for Computer Graphics: The First Generation. Butterworths
– Arnold, Duce
- 1990
|
|
8
|
PREMO: An Emerging Standard for Multimedia Presentation
– Herman, Reynolds, et al.
- 1996
|
|
7
|
Active Java: Object-Oriented Programming for the World Wide Web
– Freeman, Ince
- 1996
|
|
6
|
Specifying the PREMO synchronization objects
– Duke, Duce, et al.
- 1997
|
|
5
|
Special Issue on Formal Methods and Standards
– Duce, Duke, et al.
- 1995
|
|
5
|
Report of the ISO/IEC JTC1/SC24 special rapporteur group on formal description techniques
– Reynolds, Duce, et al.
- 1994
|
|
3
|
Information processing systems, computer graphics, virtual reality modelling language
– ISOIEC
- 1996
|
|
2
|
an initial approach to a formal definition
– PREMO
- 1994
|
|
1
|
Premo: An ISO standard for a presentation environment for multimedia objects
– J, Stenzel
- 1994
|
|
1
|
Information processing systems, information technology, coding of multimedia and hypermedia information (mheg
– ISOIEC
- 1994
|
