文献类型：期刊文章

作　　者：梁义芝[1] 王延章[1] 缪旭东[2] 刘云飞[3]

机构地区：[1]大连理工大学信息与决策技术研究所,大连116024 [2]大连舰艇学院作战软件研究中心,大连116018 [3]大连舰艇学院教育技术中心,大连116018

出　　处：《计算机工程与应用》

基　　金：国家自然科学基金资助项目(编号:70271045)

年　　份：2003

卷　　号：39

期　　号：18

起止页码：28-30

语　　种：中文

收录情况：AJ、BDHX、BDHX2000、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、IC、INSPEC、JST、RCCSE、ZGKJHX、核心刊

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

关 键 词：UML活动图 形式语义 系统分析  

分 类 号：TP311]