next up previous contents index
Next: 1.2.1 Finite State Automata Up: 1. INTRODUCTION Previous: 1.1.3 Modeling and Meta-modeling   Contents   Index

1.2 The Statecharts Formalism

Statecharts, introduced by David Harel [4], are a visual and executable formalism for modeling complex reactive systems. It has roots in the Finite State Automata (FSA) formalism and adds new concepts to it. Those new concepts make the formalism suitable for specifying discrete event systems.


Thomas Huining Feng 2004-04-28