Towards a Systematic, Tool-Independent Methodology for Defining the Execution Semantics of UML Profiles with fUML.
Jérémie TatibouetArnaud CuccuruSébastien GérardFrançois TerrierPublished in: MODELSWARD (2014)
Keyphrases
- unified modeling language
- class diagram
- conceptual model
- uml activity diagrams
- uml class diagrams
- logic programming
- control flow
- specification language
- sequence diagrams
- object oriented
- graphical representation
- uml diagrams
- semantic information
- software systems
- conceptual modeling
- formal semantics
- formal specification
- modeling language
- data flow
- metamodel
- programming language