The syntax and semantics of µ-charts

This document is a reduced version of Working paper 04/2004 Abstract. µ-Charts is a language for specifying the behaviour of re-active systems. The language is a simplified variant of the well-known language Statecharts that was introduced by Harel [1]. 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 [5]. This paper gives a comprehensive treatment of the syntax and semantic definition for µ-Charts.