自动产生一个图书馆的快速原型  

GENERATING A PROTOTYPE OF LIBRARY SYSTEM AUTOMATICALLY

作　　者：魏一宁[1] 何积丰[2] 

机构地区：[1]华东师范大学计算机科学技术系,上海200062 [2]联合国大学国际软件技术研究所

出　　处：《计算机应用与软件》2007年第9期77-80,共4页Computer Applications and Software

摘　　要：AutoPA1.0是一套基于形式化方法的应用程序。它是一个基于需求规范而自动生成软件快速原型的Java代码的软件,有着坚实、可靠的理论基础。给出一个图书馆管理系统的例子,阐述如何用UML建立需求模型,然后用AutoPA1.0生成该需求模型对应的软件快速原型的Java代码。采用的需求模型主要包括一个用况模型和一个概念类模型,分别用UML中的用况图和类图描述。生成的软件快速原型将包括用况图中每个用例的执行,用一个系统数据库来描述当前系统状态,该系统数据库保存了当前系统中存在的所有对象以及对象之间的关系。AutoPA1.0 is a software based on formal method. It is used to generate Java source code of prototype from requirement model, which is based on a sound underlying theory. A case study for a library system is presented for illustrating how to generate an executable prototype from requirement model by AutoPA1,0. UML is used to describe the requirement model that includes a use-case model and a conceptual class model which can be described by use-case diagram and class diagram separately, The generated prototype includes the execution of each use-case in use-case model. A system database is used to represent the system state, which stores the objects and associations between objects existing in the current system.

关 键 词：软件快速原型 图书馆管理系统 统一建模语言 用况图 类图 Java代码自动生成 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]