Checking Consistency in UML Diagramms: Classes and State Machines.

Holger Rasch Heike Wehrheim

Published in: FMOODS (2003)

Keyphrases

state machines
state machine
sequence diagrams
class diagram
consistency checking
petri net
fault tolerant
finite state machines
object oriented
modeling language
neural network
intermediate representation
dependency graph
software engineering
regression testing
knowledge based systems
database systems