264
views
0
recommends
+1 Recommend
1 collections
    0
    shares
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Using LOTOS for the Evaluation of Design Options in the PREMO Standard

      proceedings-article

      ,

      Proceedings of the 2nd BCS-FACS Northern Formal Methods (FM)

      Northern Formal Methods

      14-15 July 1997

      Bookmark

            Abstract

            PREMO, 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. The standard is written using an Object Oriented approach. In this paper we specify the behavioural aspects of one of the central objects of the standard, the PREMO synchronizable object, in a constraint oriented style. We show that by adding further constraints in a modular way various design options can be investigated by means of model checking. This provides designers with more reliable information concerning the behavioural aspects of difierent designs which obviously is helpful in the evaluation of design decisions. In this way formal methods do not only play a role in the final evaluation of the correctness of a design, but can be used in a design methodology in which a more dynamical process of design and evaluation is required. A requirement for this way of working is modularity which is well supported by both the Object Oriented and the Constraint Oriented approaches.

            Content

            Author and article information

            Conference
            July 1997
            July 1997
            : 1-20
            Affiliations
            [0001]CNR - Istituto CNUCE, Via S.Maria 36

            56126 PISA, Italy
            Article
            10.14236/ewic/FA1997.7
            f19f3820-6d9b-45d2-a24c-44a2758e01fe
            © G. P. Faconti et al. Published by BCS Learning and Development Ltd. Proceedings of the 2nd BCS-FACS Northern Formal Methods Workshop, Ilkley

            This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

            Proceedings of the 2nd BCS-FACS Northern Formal Methods
            FM
            2
            Ilkley
            14-15 July 1997
            Electronic Workshops in Computing (eWiC)
            Northern Formal Methods
            Product
            Product Information: 1477-9358BCS Learning & Development
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Comments

            Comment on this article