|
|||||
|
|
| 面向对象代数Petri网OOAPN的形式化建模方法 | |
| 作者姓名： | 修磊 |
| 作者单位： | 吉林省工业技师学院,吉林省吉林市132021 |
| 摘 要： | 建模是软件系统开发过程中需求分析环节最重要的部分，选择有效的建模工具成为需求分析过程中的关键问题。OOAPN（Object—OrientedAlgebraPetriNet面向对象代数Petri网）是一种有效的建模工具，它支持面向对象概念的同时支持系统动态建模。OOAPN有完全形式化的描述方法，完备的行为表示，能够更加有效的表示系统中各部分的复杂需求。本文主要给出了基于OOAPN模型的软件系统建摸方法。主要是：从用户获取初始的需求信息，将得到的需求信息提炼并初步分析，建立OOAPN模型，描述数据结构和状态行为， |
| 关 键 词： | OOAPN 类别代数 面向对象 Petri网 建模 |
| 本文献已被 维普 等数据库收录！ | |