The syntax and semantics of μ-Charts
Citation
Export citationReeve, G. & Reeves, S. (2004). The syntax and semantics of μ-Charts. (Working paper 04/2004). Hamilton, New Zealand: University of Waikato, Department of Computer Science.
Permanent Research Commons link: https://hdl.handle.net/10289/1000
Abstract
μ-Charts is a language for specifying the behaviour of reactive systems. The language is a simplified variant of the well-known language Statecharts that was introduced by Harel. Development of the μ-Charts language is ongoing research undertaken under the auspices of the Formal Methods Laboratory of the Computer Science Department, University of Waikato. This paper gives a comprehensive treatment of the syntax and semantic for μ-Charts.
Date
2004-02Type
Report No.
04/2004
Publisher
University of Waikato, Department of Computer Science
Collections
- 2004 Working Papers [14]