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

      Using Temporal Logic in the Specification of Reactive and Interactive Systems

      proceedings-article
      ,
      Proceedings of the BCS-FACS Workshop on Formal Aspects of the Human Computer Interface (FAC)
      Formal Aspects of the Human Computer Interface
      10-12 September 1996
      Bookmark

            Abstract

            Typically formal notations for interactive systems previously presented in the literature ( e.g . [2, 6, 18]) synthesize two or more languages. We contend that it would be preferable if one were able to use a single soundly based specification language which is expressive enough to capture HCI issues. Taking a lead from Lamport’s Temporal Logic ofActions, (TLA), [14] we outline a language for expressing models of systems based on temporal logic, and make clear the design process we intend this language to be a part of. We discuss two equivalent specification styles using this language; firstly describing the functionality of the system and secondly describing the interactions of the system. We contend that the second is more ‘HCI-centric’ than the first. We discuss other issues raised by the use of the language and set down an agenda for future work.

            Content

            Author and article information

            Conference
            September 1996
            September 1996
            : 1-10
            Affiliations
            [0001]Computer Studies Department, Loughborough University

            Loughborough, Leicestershire, England.
            Article
            10.14236/ewic/FAC1996.1
            bd155a68-3eb0-403f-82f6-3bc2b8943089
            © R. J. Butterworth et al. Published by BCS Learning and Development Ltd. Proceedings of the BCS-FACS Workshop on Formal Aspects of the Human Computer Interface, Sheffield Hallam University

            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 BCS-FACS Workshop on Formal Aspects of the Human Computer Interface
            FAC
            Sheffield Hallam University
            10-12 September 1996
            Electronic Workshops in Computing (eWiC)
            Formal Aspects of the Human Computer Interface
            Product
            Product Information: 1477-9358BCS Learning & Development
            Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/FAC1996.1
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Applied computer science,Computer science,Security & Cryptology,Graphics & Multimedia design,General computer science,Human-computer-interaction

            Comments

            Comment on this article