|
|||||
|
|
| 基于随机Petri网的SysML状态机图的验证 | |
| 作者单位： | ;1.河南省军区指挥自动化工作站;2.解放军信息工程大学电子技术学院 |
| 摘 要： | 针对SysML状态机图本身缺乏分析和验证手段的问题,提出一种SysML状态机图向广义随机Petri网的转换方法。主要定义将SysML状态机图转换为相应Petri网可执行模型的八种转换规则,应用这些规则可以将状态机图转换为Petri网模型,进而对其进行分析、验证,并可检测SysML的行为规范与并发相关的性质,如死锁、有界性等,同时,该方法可处理带有时间延迟和概率信息的状态转换。最后通过数字证书系统的一个实例说明该方法的可行性。 |
| 关 键 词： | 系统建模语言 随机Petri网 广义随机Petri网 状态机图 建模 |
VERIFYING SYSML STATE MACHINE DIAGRAMS BASED ON STOCHASTIC PETRI NET |
|
| Abstract: | |
| Keywords: | |