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.

      State-based and process-based value passing

      Reeves, Steve; Streader, David
      Thumbnail
      Files
      state-based and process-based value-passing.pdf
      160.0Kb
      Link
       fme03.isti.cnr.it
      Citation
      Export citation
      Reeves, S. & Streader, D. (2003) State-based and process-based value passing, In Proceedings of ST.EVE Workshop: State-oriented vs. Event-oriented thinking in Requirements Analysis, Formal Specifi.
      Permanent Research Commons link: https://hdl.handle.net/10289/1718
      Abstract
      State-based and process-based formalisms each come with their own distinct set of assumptions and properties. To combine them in a useful way it is important to be sure of these assumptions in order that the formalisms are combined in ways which have, or which allow, the intended combined properties. Consequently we cannot necessarily expect to take on state-based formalism and one process-based formalism and combine them and get something sensible, especially since the act of combining can have subtle consequences.

      Here we concentrate on value-passing, how it is treated in each formalism, and how the formalisms can be combined so as to preserve certain properties. Specifically, the aim is to take from the many process-based formalisms definitions that will best fit with our chosen stat-based formalism, namely Z, so that the fit is simple, has no unintended consequences and is as elegant as possible.
      Date
      2003
      Type
      Conference Contribution
      Publisher
      Formal Methods Europe
      Rights
      This article has been published in the Proceedings of ST.EVE Workshop: State-oriented vs. Event-oriented thinking in Requirements Analysis, Formal Specifi.
      Collections
      • Computing and Mathematical Sciences Papers [1454]
      Show full item record  

      Usage

      Downloads, last 12 months
      37
       
       

      Usage Statistics

      For this itemFor all of Research Commons

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