论文部分内容阅读
对象过程方法论(OPM)是一种图形化建模语言,适合用于系统工程中概念设计阶段的概念模型开发,但其缺乏定量计算的能力。针对这一不足,提出并实现了一种将OPM转换为一种支持仿真和分析的可执行建模语言——着色Petri网的方法,结合OPM概念描述能力及CPN仿真分析能力,使系统工程过程更为连续。该转换规则实现了基本建模元素的转换以及层次性的转换,并通过反潜作战系统的案例研究对该转换方法进行了验证。