Dynamic Semantics of UML State Machines: A Metamodeling Perspective.

Eladio Domínguez Ángel Luis Rubio María Antonia Zapata

Published in: J. Database Manag. (2002)

Keyphrases

state machines
state machine
sequence diagrams
metamodel
fault tolerant
petri net
finite state machines
specification language
uml class diagrams
uml activity diagrams
case study
genetic algorithm
object oriented
modeling language
formal semantics