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.

      µ-Charts and Z: Examples and extensions

      Reeve, Greg; Reeves, Steve
      Thumbnail
      Files
      content.pdf
      730.1Kb
      DOI
       10.1109/APSEC.2000.896707
      Find in your library  
      Citation
      Export citation
      Reeeve, G. & Reeves, S. (2000). µ-Charts and Z: Examples and extensions. In Proceedings: Seventh Asia-Pacific Software Engineering Conference: APSEC 2000: 5-8 December 2000, Singapore. (pp. 258-263). Los Alamitos, Calif.: IEEE Computer Society Press.
      Permanent Research Commons link: https://hdl.handle.net/10289/76
      Abstract
      μ-Charts are a way of specifying reactive systems, i.e. systems which are in some environment to which they have to react, based on the well-established formalism Statecharts. This paper gives (very abbreviated) examples of translating μ-charts to Z, which is itself a well-established language for specifying computational systems with tried and tested methods and support tools which guide its effective use in systems development. We undertake this translation in order that investigation of the modelled system can be performed before expensive and lengthy implementation is considered. We also present an extension of the μ-charts and the related Z to deal with a simple command language, local variables and integer-valued signals.
      Date
      2000-12-01
      Type
      Conference Contribution
      Publisher
      IEEE COMPUTER SOC
      Rights
      ©2000 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
      Collections
      • Computing and Mathematical Sciences Papers [1452]
      Show full item record  

      Usage

      Downloads, last 12 months
      77
       
       
       

      Usage Statistics

      For this itemFor all of Research Commons

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