Abstract.
The PREMO standard, Presentation Environment for Multimedia Objects, is a major new standard under development within ISO/IEC. It addresses the creation of, presentation of, and interaction with all forms of information using single or multiple media. In this paper we give a formal LOTOS specification, amenable to automatic verification, of the PREMO synchronisable object, which is one of the central parts of the standard. Various design options are investigated by a combination of constraint oriented specification and model checking. This shows the usefulness of formal specification and automatic verification during the design phase of an international standard.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received April 1997 / Accepted in revised form July 1998
Rights and permissions
About this article
Cite this article
Faconti, G., Massink, M. Modelling and Verification of PREMO Synchronisable Objects. Form Aspects Comput 10, 405–434 (1998). https://doi.org/10.1007/s001650050024
Issue Date:
DOI: https://doi.org/10.1007/s001650050024