Sign in

Formalizing Execution Semantics of UML Profiles with fUML Models.

Jérémie TatibouetArnaud CuccuruSébastien GérardFranç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