Statecharts, popular for modeling system
behavior in the structural analysis paradigm, are part of a fully
executable language set for modeling object-oriented systems. The
languages form the core of the emerging Unified Modeling

Models for the development of object-oriented systems should be
behaviorally expressive and rigorous as well as intuitive and well
structured. Thus, any modeling approach must be detailed and
precise enough to produce fully executable models and permit the
automatic synthesis of efficient code in languages such as C++.