问题定义：设计某医药公司进销存管理信息系统的进货、库存、销售、支付四个组成部分。进货子系统进行药品验收处理，产生进货传票（进货传票编码、商品编码、品名、规格、厂商、有效期、进价、进货数量）。进货传票将被打印给供货商作为收货凭证。一次进货可有多项药品，由进货传票编码唯一标识；一种药品由商品编码唯一标识。系统设有一个商品目录（商品编码、品名、规格、厂商、有效期、销售价格）。当进货的药品是新药品（商品目录中没有的药品）时，进货子系统自动把新药品写入商品目录。库存子系统由进货入库和销售出库处理维护库存帐（商品编码、品名、规格、厂商、有效期、进货量、进价、出库量、销售价、库存数量、库存下限量、库存上限量），库存帐不能做修改操作，当进货入库时，根据进货传票产生一条新记录，库存数量加上进货量；当销售出库时，根据销售传票产生一条新记录，库存数量减去出库量；商品编码是各药品的唯一标识字。库存子系统设库存自动报警，当库存数量大于库存上限量或者小于库存下限量时，给出警告信息。销售子系统有定价处理和销售处理。定价处理有一个商品价格表（商品编码、品名、规格、厂商、有效期、建议价格、销售价格、批准责任人）首先由销售管理员定建议价格，经过经理批准后确定销售价，并自动更新商品目录的销售价；销售处理在公司的销售窗口，售货员根据顾客要求查找商品目录和库存帐，如果有货（库存数量满足顾客要求），一项销售成立，产生销售传票的一条记录，一次销售可有多项记录，由销售传票唯一标识。销售传票的数据结构是（销售传票编码、商品编码、品名、规格、厂商、有效期、销售价、销售数量）。销售传票是顾客的付款凭证，付款后也是顾客的提货凭证和库存子系统记录库存帐的凭证。支付子系统许可顾客以现金、信用卡（信用卡号，许可支取金额度）或医保卡（医保卡号，许可支取金额度）付款。用信用卡或医保卡付款时将通过POS终端与相应机构联机验证。
以上为本次试题的基本部分。事实上的进销存系统还有其它组成，例如“退货处理”、“客户管理”、“供货商管理”等，有兴趣的同学可以选做某些附加内容。
要求利用Rational ROSE工具：
1、 写出需求规格说明，并建立基本系统的USE CASE模型
2、 建立基本系统的静态模型（类图）
3、 建立基本系统的时序模型
4、 画出进货传票的状态图
5、 画出销售传票的状态图
6、 根据基本系统的静态模型生成各子系统的Java程序结构
利用MS Word写出：
7、 以上1-6的文档（也可以全部或部分利用SoDA工具）