|
个人信息Personal Information
教授
博士生导师
硕士生导师
任职 : 电子政务模拟仿真国家地方联合工程研究中心主任
性别：男
毕业院校：大连理工大学
学位：博士
所在单位：信息与决策技术研究所
电子邮箱：yzwang@dlut.edu.cn
扫描关注
UML活动图的形式语义及分析
点击次数：
论文类型：期刊论文
发表时间：2003-06-21
发表刊物：计算机工程与应用
收录刊物：PKU、ISTIC、CSCD
卷号：39
期号：18
页面范围：28-30,44
ISSN号：1002-8331
关键字：UML活动图;形式语义;系统分析
摘要：UML活动图缺乏精确的动态语义,不利于对其所描述的系统进行形式化的分析、验证和确认.为此,论文结合Petri网给出了包含对象流状态描述的UML活动图的形式语义,并据此对UML活动图的典型流程和其所描述的动态系统的正确性进行了分析.该形式语义覆盖了UML活动图的绝大部分特征,为精确描述工作流程并对其进行分析奠定了基础.