论文部分内容阅读
建模是软件系统开发过程中需求分析环节最重要的部分，选择有效的建模工具成为需求分析过程中的关键问题。 OOAPN（Object-Oriented Algebra Petri Net 面向对象代数Petri网）是一种有效的建模工具，它支持面向对象概念的同时支持系统动态建模。 OOAPN有完全形式化的描述方法，完备的行为表示，能够更加有效的表示系统中各部分的复杂需求。本文主要给出了基于OOAPN模型的软件系统建摸方法。主要是：从用户获取初始的需求信息，将得到的需求信息提炼并初步分析，建立OOAPN模型，描述数据结构和状态行为。