this state diagrams describe aspects of the behavior shown by a system