Enhancing UML Extensions with Operational Semantics.
Arnaud CuccuruChokri MraidhaFrançois TerrierSébastien GérardPublished in: MoDELS (2007)
Keyphrases
- operational semantics
- activity diagrams
- formal semantics
- modeling language
- class diagrams
- sequence diagrams
- data model
- mental states
- model theoretic
- denotational semantics
- class diagram
- metamodel
- software systems
- software engineering
- uml class diagrams
- object oriented
- speech acts
- relational databases
- software architecture
- uml diagrams