From UML Statecharts to LOTOS: A Semantics Preserving Model Transformation.

Valentin Chimisliu Christian Schwarzl Bernhard Peischl

Published in: QSIC (2009)

Keyphrases

semantic models
conceptual model
high level
probabilistic model
computational model
mathematical model
similarity measure
formal model
transformation rules
neural network
information systems
bayesian networks
management system
metamodel
specification language
uml activity diagrams