A Set of Metrics for States and Transitions in UML State Machines

Abstract

UML state machines are widely used to model software system behaviors. Seemingly intuitive and simple, state machines may actually be rather complex. We present a set of metrics to reflect which model elements actually account for the complexity. Our metrics give a better understanding of the complexity of UML state machines, and may alert the modeler to pay more attention to more complex states and transitions.