基于Petri网的SysML活动图的分析与验证

摘要：

系统建模语言(Systems Modeling Language,SysML)是目前国际上系统工程领域最新的标准建模语言,它包括语义和表示法两部分,缺乏分析和验证的手段.为了弥补这一不足,研究了SysML活动图到Petri网的转换方法,主要定义了将SysML活动图转换为相应Petri网可执行模型的6种转换规则.应用这些规则可以将活动图转换为Petri网模型,进而对其进行化简、分析和验证,同时可检测SysML的行为规范与并发相关的性质,如死锁、有界性等.采用列举法和模拟法验证了所建模型的一致性.证书申请活动图的实例表明,该方法是可行的.

关键词：系统建模语言、Petri网、活动图、建模

所属期刊栏目：39

分类号：TP301(计算技术、计算机技术)

在线出版日期：2012-11-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：138-142