Formalizing Execution Semantics of UML Profiles with fUML Models.

Jérémie Tatibouet Arnaud Cuccuru Sébastien Gérard François Terrier

Published in: MoDELS (2014)

Keyphrases

complex systems
database systems
metamodel
uml models
model selection
logic programming
life cycle
formal semantics
conceptual models
control flow
tool support