论文部分内容阅读
义性而难以被验证。将序列图表示的场景转换为语义精细的对象Petri网模型OPDL，并通过其仿真环境OPMSE对其进行仿真，将场景描述的系统行为“展示”给需求开发者和用户，以此进行行为需求的验证。摘要：序列图表示的场景常被用于系统开发早期的需求获取与描述，但因其弱语义性而难以被验证。将序列图表示的场景转换为语义精细的对象Petri网模型OPDL，并通过其仿真环境OPMSE对其进行仿真，将场景描述的系统行为“展示”给需求开发者和用户，以此进行行为需求的验证。