| 利用对象Petri网验证场景 |
| |
| 引用本文： | 邓小妮,姜志平,陈洪辉,罗雪山.利用对象Petri网验证场景[J].火力与指挥控制,2009,34(7). |
| |
| 作者姓名： | 邓小妮 姜志平 陈洪辉 罗雪山 |
| |
| 作者单位： | 国防科技大学信息系统与管理学院,湖南,长沙,410073 |
| |
| 摘 要： | 序列图表示的场景常被用于系统开发早期的需求获取与描述,但因其弱语义性而难以被验证.将序列图表示的场景转换为语义精细的对象Petri网模型OPDL,并通过其仿真环境OPMSE对其进行仿真,将场景描述的系统行为"展示"给需求开发者和用户,以此进行行为需求的验证.
|
| 关 键 词： | 场景 序列图 对象petri网 需求验证 |
Verification of Scenarios with Object Petri Nets |
| |
| DENG Xiao-ni,JIANG Zhi-ping,CHEN Hong-hui,LUO Xue-shan.Verification of Scenarios with Object Petri Nets[J].Fire Control & Command Control,2009,34(7). |
| |
| Authors: | DENG Xiao-ni JIANG Zhi-ping CHEN Hong-hui LUO Xue-shan |
| |
| Institution: | National University of Defense Technology;Changsha 410073;China |
| |
| Abstract: | Scenarios are used to describe behavior requirements at the early stage of systems development.But it is difficult to verify them because of their weak semantic.This paper uses an object petri nets model OPDL and its corresponding simulation environment OPMSE to serve as the verification tool for the key scenarios of information systems.Sequence diagrams which specify scenarios are transformed into the corresponding OPDL model.Then through OPMSE,the behavior which the scenarios imply is revealed to the mode... |
| |
| Keywords: | scenarios sequence diagrams object petri nets requirements verification |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
