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

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

Analyzing and Verifying of SysML Activity Diagram Based on Petri Net

Systems modeling language is the latest international standard systems engineering modeling language. It contains two parts of semantics and notations which is lack of analysis and verification tools. For solving the questions, this paper presented a method for conversing the SysML activity diagram to the Petri net,mainly defined six transfor- mation rules for converting SysMI. activity diagram to a Petri net executable model. Using these transformation rules, SysML activity can be transformed into Petri net, and thus realizing its simplication, analysis and verification. Besides of this,it can detect concurrency-related code of conduct nature,such as dcadlocks,boundness,etc. And the consistency of the model was verified by the list method and simulate method. Finally, an example was used to verify the feasibility of the method.