The syntax and semantics of μ-Charts

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.