{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,24]],"date-time":"2023-10-24T04:20:22Z","timestamp":1698121222277},"reference-count":0,"publisher":"Wiley","issue":"3","license":[{"start":{"date-parts":[[2003,2,12]],"date-time":"2003-02-12T00:00:00Z","timestamp":1045008000000},"content-version":"vor","delay-in-days":3117,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":["onlinelibrary.wiley.com"],"crossmark-restriction":true},"short-container-title":["Computer Graphics Forum"],"published-print":{"date-parts":[[1994,8]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>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\u2010Z 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 P<jats:sc>remo<\/jats:sc> project in ISO\/IEC JTCl\/SC24.<\/jats:p>","DOI":"10.1111\/1467-8659.1330393","type":"journal-article","created":{"date-parts":[[2003,3,11]],"date-time":"2003-03-11T11:32:45Z","timestamp":1047382365000},"page":"393-406","update-policy":"http:\/\/dx.doi.org\/10.1002\/crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["PREMO \u2010 An Initial Approach to a Formal Definition"],"prefix":"10.1111","volume":"13","author":[{"given":"D.A.","family":"DUCE","sequence":"first","affiliation":[]},{"given":"D.J.","family":"DUKE","sequence":"additional","affiliation":[]},{"given":"P.J.W.","family":"ten HAGEN","sequence":"additional","affiliation":[]},{"given":"G.J.","family":"REYNOLDS","sequence":"additional","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2003,2,12]]},"container-title":["Computer Graphics Forum"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1111%2F1467-8659.1330393","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1111\/1467-8659.1330393","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,24]],"date-time":"2023-10-24T00:31:08Z","timestamp":1698107468000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1111\/1467-8659.1330393"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,8]]},"references-count":0,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1994,8]]}},"alternative-id":["10.1111\/1467-8659.1330393"],"URL":"https:\/\/doi.org\/10.1111\/1467-8659.1330393","archive":["Portico"],"relation":{},"ISSN":["0167-7055","1467-8659"],"issn-type":[{"value":"0167-7055","type":"print"},{"value":"1467-8659","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,8]]},"assertion":[{"value":"2003-02-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}