基于Petri网的UML顺序图分析

• 作者: 胡建军
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 顺序图 消息事件序约束 激活期 容量函数
• 年，卷（期）: 2009,（3）
• 所属期刊栏目: 软件工程
• 页码范围: 115-117
• 页数: 3页
• 分类号: TP301.2
• 字数: 2208字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2009.03.033

摘要

本文针对顺序图形式分析上存在的困难,引进消息事件序约束的概念,利用Petri网理论定义了顺序图的分析模型,并给出了UML顺序图冲突和语义一致性的检查方法,最后通过一个实例说明了方法的使用.实例表明,该方法是可行和高效的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	胡建军	甘肃联合大学数学与信息学院	31	107	5.0	8.0