Introduction - If you have any usage issues, please Google them yourself
The insufficient of concurrent structure of activity diagram is analyzed in concept level,and the semantic of undefined scheduling is researched,and then by the case of loop discriminator,combines the activity diagram with formal specification.In the end,the discriminator model of activity diagrm is given with ASM semantics,rule is defined in Fork.Join and event capturing ect.,the correctness,verifiability and consistency are improved.