analysis of uml activities with dynamic meta modeling techniques
Based on a semantics of UML Activities specified with the Dynamic Meta Modeling approach, we analyze the dynamic semantics of Activities at modeling time.
uml semantics verification behavior dmm