原型系统需求模型

在本文中,我们介绍了一种用于自动原型生成和分析的工具(AutoPA2.0),该工具可以使用UML,将UML系统需求模型转换为可执行的原型。 检查多重不变性的功能。 UML系统需求模型由一个用例组成模型和概念类模型。 通常,用例要么描述为系统操作,要么可以在概念类模型的上下文中定义为一对前后条件,或进行描述作为此类系统操作的顺序。 AutoPA2.0可以将用例的描述转换为Java中的可执行原型。 每个用例的执行都是一系列基本原子动作, 首先检查前提条件,然后执行相应用例的前提条件。 它有助于增进客户与设计师之间的了解。 一个简单的图书馆系统用来解释该方法,并说明工具的可行性及其开发。