Automated Translation of UML Models of Architectures for Verification and Simulation Using SPIN.

Prasanta K. Bose

Published in: ASE (1999)

Keyphrases

uml models
simulation model
object oriented
colored petri nets
artificial intelligence
statistical machine translation
sequence diagrams
data sets
data structure
petri net