利用对象Petri网验证场景

摘要：

序列图表示的场景常被用于系统开发早期的需求获取与描述,但因其弱语义性而难以被验证.将序列图表示的场景转换为语义精细的对象Petri网模型OPDL,并通过其仿真环境OPMSE对其进行仿真,将场景描述的系统行为"展示"给需求开发者和用户,以此进行行为需求的验证.

关键词：场景、序列图、对象petri网、需求验证

所属期刊栏目：34

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

资助基金：武器装备基金资助项目51406010704KG0143

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

页数：共4页

页码：72-75