Abstract—Statechart is a visual language for software requirement specification that has been widely used in recent years. In essence, it extends the conventional language of state-transition diagrams with three elements that accommodates the notions of hierarchy, concurrency, and communication. Additionally, it allows multilevel concurrency, creation of chain-reaction effects, and the use of high- and low-level events. It is compact, expressive, compositional, and modular. This paper presents a tutorial of Statechart and discusses its merits and shortcomings.
Index Terms—Statechart, requirement specification.
W. Zhang and T. Beaubouef are with Southeastern Louisiana University, Hammond, LA 70402, USA (e-mail: wzhang(tbeaubouef)@selu.edu).
H. Ye is with The University of Newcastle, Callaghan, NSW 2308, Australia. (e-mail: Huilin.Ye@newcastle.edu.au).
Cite: W. Zhang, T. Beaubouef, and H. Ye, "Statechart: A Visual Language for Software Requirement Specification," International Journal of Machine Learning and Computing vol. 2, no. 1, pp. 52-61, 2012.