带时间约束的UML活动图模型的分析

摘要：

统一建模语言(UML)自从成为OMG规范后,应用越来越广泛.但UML没有精确的、形式化的语义阻碍了它的进一步发展.本文基于Petri网,给出带时间约束的UML活动图的形式化描述.与Petri网不同的是,Petri网的时间约束是在跃迁(transition)上,而我们将UML活动图的时间约束放在活动状态上.在此基础上,用整型时间的验证技术对实时活动图的时间性质加以分析,为实时系统的建模打下了基础.

关键词： 统一建模语言 活动图实时系统 实时活动图 活动图模型 Petri网

作者: 崔萌 袁海 李宣东 郑国梁

作者单位: 南京大学计算机软件新技术国家重点实验室;南京大学计算机科学与技术系

会议类型: 国内会议

会议名称: 2002全国软件与应用学术会议(NASAC)

会议地点: 北京

会议语种:中文

页码: 20-28

在线出版日期: 2002-10-01（万方平台首次上网日期，不代表论文的发表时间）