【摘要】 UML活动图缺乏精确的动态语义,不利于对其所描述的系统进行形式化的分析、验证和确认。为此,论文结合Petri网给出了包含对象流状态描述的UML活动图的形式语义,并据此对UML活动图的典型流程和其所描述的动态系统的正确性进行了分析。该形式语义覆盖了UML活动图的绝大部分特征,为精确描述工作流程并对其进行分析奠定了基础。更多还原

【Abstract】 UML activity diagram is lack of strictly defined formal dynamic semantics,it is difficult to do formal analy-sis,verification and assertation on the systems discribed by it.In this paper,the authors adopt the method of Petri Net and defined a formal semantics of UML activity diagram containning object flow state,then they analyze the representa-tive flow of UML activity diagram and the correctness of the dynamic systems discribed by it.The formal semantics difined here is able to deal with most of the features of UML activity diagram,and establish the foundation of describ-ing and analysis of work flow.更多还原