The formal semantics of activity diagrams and the standardized mapping technique from activity diagrams to message sequence charts are introduced. Based on activity diagrams, the N-consistency ...