UML活动图的时序逻辑语义.pdfVIP

计算机研究与发展 ／ ／ !# $%%%$’() *# $$$+++ ,- （）： ， ./01234/5*/6 0891:9;931=32?9@94/6928 A’ ) $A+B!$ABA ’%%C 7 7 !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! !#活动图的时序逻辑语义 朱雪阳 唐稚松 （中国科学院软件研究所计算机科学重点实验室 北京 ） $%%%B% （ ） GH J/;K3K2 I $ %’ )*+,#)./0’+12./34)*!#$/2.5.2 7.+*