This formal definition is in one place, giving the designer full access to the details of the specification, whereas scenarios scatter requirements among multiple diagrams. In UML, state charts or ...