A Strongly Consistent Transformation from UML Interactions to PEPA Nets.

Juliana Küster Filipe Bowles Leïla Kloul

Published in: ICCSA (5) (2014)

Keyphrases

database design
modeling language
unified modeling language
object oriented
metamodel
linear transformation
database
software systems
conceptual modeling
consistency constraints
tool support
uml activity diagrams