Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML.
Gregor EngelsJan Hendrik HausmannReiko HeckelStefan SauerPublished in: UML (2000)
Keyphrases
- operational semantics
- sequence diagrams
- activity diagrams
- unified modeling language
- class diagrams
- modeling language
- uml diagrams
- formal semantics
- dynamic environments
- data model
- petri net
- database
- software engineering
- object oriented
- test cases
- graphical representation
- intermediate representation
- model theoretic
- regression testing
- object oriented systems
- query language
- case study