Chapter 9

Modeling Stateful Behaviors in UML

Abstract

An object is called a stateful object if it can be in more than one state and it exhibits different behaviors in different states. UML state machine diagrams can be used to model the various states that a single object (or system) may be in and the transitions between those states. An object may have a composite state, which has more than one independent area containing states and transitions. A subclass can inherit state behaviors from its superclasses. As an example, we show how to model the state behaviors of a radar system.

Keyword

State machine diagram

Stateful objects

Events

Transitions

Pseudo state

Composite state

Behavior inheritance

Happiness is a state of activity.

Aristotle ...

Get Real-Time Embedded Systems now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.