Description: 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.
To Search:
File list (Check if you may need any files):
基于ASM的活动图一致性规则研究.pdf
Download