Modeling the Meaning of Transitions from and to Concurrent States in UML State Machines.

Egon Börger Elvinia Riccobene Alessandra Cavarra

Published in: SAC (2003)

Keyphrases

state machines
sequence diagrams
state machine
petri net
finite state machines
state transition
state transitions
modeling language
intermediate representation
fault tolerant
model driven engineering
class diagram
software development
regression testing
software systems
test cases
software engineering
case study