Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML