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
      • Computer Science Working Paper Series
      • 2003 Working Papers
      • View Item
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computer Science Working Paper Series
      • 2003 Working Papers
      • View Item
      JavaScript is disabled for your browser. Some features of this site may not work without it.

      Comparison of data and process refinement

      Reeves, Steve; Streader, David
      Thumbnail
      Files
      uow-cs-wp-2003-05.pdf
      2.901Mb
      Find in your library  
      Citation
      Export citation
      Reeves, S. & Streader, D. (2003). Comparison of data and process refinement. (Working paper 05/03). Hamilton, New Zealand: University of Waikato, Department of Computer Science.
      Permanent Research Commons link: https://hdl.handle.net/10289/1007
      Abstract
      When is it reasonable, or possible, to refine a one place buffer into a two place buffer? In order to answer this question we characterise refinement based on substitution in restricted contexts. We see that data refinement (specifically in Z) and process refinement give differing answers to the original question, and we compare the precise circumstances which give rise to this difference by translating programs and processes into labelled transition systems, so providing a common basis upon which to make the comparison. We also look at the closely related area of subtyping of objects. Along the way we see how all these sorts of computational construct are related as far as refinement is concerned, discover and characterise some (as far as we can tell) new sorts of refinement and, finally, point up some research avenues for the future.
      Date
      2003-05
      Type
      Working Paper
      Series
      Computer Science Working Papers
      Report No.
      05/03
      Publisher
      University of Waikato, Department of Computer Science
      Collections
      • 2003 Working Papers [8]
      Show full item record  

      Usage

      Downloads, last 12 months
      122
       
       

      Usage Statistics

      For this itemFor all of Research Commons

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