Modeling the Dynamics of UML State Machines.

Egon Börger Alessandra Cavarra Elvinia Riccobene

Published in: Abstract State Machines (2000)

Keyphrases

state machines
sequence diagrams
state machine
petri net
recurrent networks
modeling language
fault tolerant
uml profile
intermediate representation
test cases
query language
metamodel
class diagram
load balancing
genetic algorithm
unified modeling language
neural network