Books for you

It contains state machines
with states and state transitions that are triggered by events. The semantics of the
state model is defi ned in such great detail in the UML specifi cation that it can also
be executed. Several modeling tools offer this possibility. These tools include, for
example, Rhapsody by Telelogic and ARTiSAN Studio by ARTiSAN Software Tools.
Executability has the benefi t that the model can be verifi ed in an early stage
(catchword: executable specifi cation). In software development, an executable
state machine can also be seen as an implementation, and it can be transferred to
the software by source-code generation.
The UML state machines are based on the work of David Harel [22] who, among
other things, combined the theory of the general Mealy and Moore machines to create
a model that lets you describe complex system behavior.
3.7.1 State Machine
Defi nition
A state machine describes the states and state transitions of a structure.
A state machine describes behavior of a structure that is generally a class.


Pages:
353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377