PREMO ‐ An Initial Approach to a Formal Definition

Many descriptions of multimedia programming systems are starting to appear in the literature, but little work has yet been done on how to formally specify and reason about such systems. This paper is a contribution on the use of formal description techniques for the specification of multimedia systems and explores a style in which the Object‐Z notation from the University of Queensland can be used to specify some of the properties and functionality of such systems. The work has been carried out with reference to the role of formal description techniques in the presentation of ISO/IEC International Standards and in particular to the Premo project in ISO/IEC JTCl/SC24.

[1]  Ian J. Hayes,et al.  A Case-Study in Timed Refinement: A Mine Pump , 1992, IEEE Trans. Software Eng..

[2]  David B. Arnold,et al.  An Approach to the Formal Specification of Configurable Models of Graphics Systems , 1987, Eurographics.

[3]  David A. Duce,et al.  Formal Specification in the Revision of GKS: An Illustrative Example , 1992, Comput. Graph. Forum.

[4]  David A. Duce,et al.  Towards a formal specification of the GKS output primitives , 1987 .

[5]  Jane Sinclair,et al.  Introduction to formal specification and Z , 1991, Prentice Hall International Series in Computer Science.

[6]  Gordon A. Rose,et al.  Object-Z , 1992, Object Orientation in Z.

[7]  David A. Duce,et al.  An Approach to Hierarchical Input Devices , 1990, Comput. Graph. Forum.

[8]  Graham J. Reynolds.  Configurable graphics systems: modelling and specification , 1992 .

[9]  Farhad Arbab,et al.  The GKS Input Model in Manifold , 1991, Comput. Graph. Forum.

[10]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[11]  Fabio Paternò,et al.  The Input Model of Standard Graphics Systems Revisited by Formal Specification , 1992, Comput. Graph. Forum.

[12]  Graeme Smith,et al.  The object-Z specification language: version 1 , 1991 .

[13]  Farhad Arbab,et al.  An Object Model for Multimedia Programming , 1993, Comput. Graph. Forum.