Research Commons
      • Browse 
        • Communities & Collections
        • Titles
        • Authors
        • By Issue Date
        • Subjects
        • Types
        • Series
      • Help 
        • About
        • Collection Policy
        • OA Mandate Guidelines
        • Guidelines FAQ
        • Contact Us
      • My Account 
        • Sign In
        • Register
      View Item 
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computing and Mathematical Sciences Papers
      • View Item
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computing and Mathematical Sciences Papers
      • View Item
      JavaScript is disabled for your browser. Some features of this site may not work without it.

      Using state machines for the visualisation of specifications via refinement

      Pilbrow, Colin; Reeves, Steve
      Thumbnail
      Files
      Pilbrow-Reeves-p129.pdf
      Published version, 310.8Kb
      DOI
       10.1145/2811681.2811702
      Find in your library  
      Citation
      Export citation
      Pilbrow, C., & Reeves, S. (2015). Using state machines for the visualisation of specifications via refinement. In Proceedings of the ASWEC 2015 24th Australasian Software Engineering Conference (Vol. II, pp. 106–110). New York, USA: ACM. http://doi.org/10.1145/2811681.2811702
      Permanent Research Commons link: https://hdl.handle.net/10289/9795
      Abstract
      We talk in this paper about using state machines and refinement to characterise the visualisation of a computation.

      We use Z specifications to give examples of systems in the usual way, and then use Z schemas to also represent states and transitions in state machines, which we consider to be a particular kind of visualisation of a specified system.

      We have investigated the principle of substitutivity and the idea of downward simulation to check whether or not a refinement relation exists between the specification and the state machine. We are looking at this because we believe that the soundness of the visualisation can be captured by such a refinement relationship.
      Date
      2015
      Type
      Conference Contribution
      Publisher
      ACM
      Rights
      © 2015 Copyright held by the owner/author(s). Publication rights licensed to ACM.
      Collections
      • Computing and Mathematical Sciences Papers [1452]
      Show full item record  

      Usage

      Downloads, last 12 months
      76
       
       
       

      Usage Statistics

      For this itemFor all of Research Commons

      The University of Waikato - Te Whare Wānanga o WaikatoFeedback and RequestsCopyright and Legal Statement