基于Petri网的UML模型行为一致性分析技术研究

摘要：

本文分析UML状态图和顺序图的并行结构特征，利用Petri网的并行结构单元来描述状态图的并行域和顺序图的并行片段。论文引入Petri网语言及其等价性理论来验证状态图和顺序图的一般行为一致性，并针对具有并发成分的UML模型，基于Petri网进程和出现网理论，提出面向UML模型并行结构特征的行为一致性分析技术。论文所研究的一致性研究方法可进一步推广到UML模型的其他视图之间的一致性验证。

关键词： Petri网 一致性分析 统一建模语言 顺序图 状态图 并行结构

作者: 姚淑珍 谭火彬

作者单位: 北京航空航天大学 软件学院,北京 100191

会议类型: 国内会议

会议名称: 2009中国计算机大会

会议地点: 天津

会议语种:中文

页码: 562-566

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