rose实例构造银行业务模型

1、u 旳斗和甲Fork即拿Rose实例：构造银行业务模型作者：Richard Felsinger著，盖九宇 译 本文选自：UMLChina 2002年11月07日在前面的文章 中，我们从Rational Rose开始，启动并建立了一个类图。今天我们的任务就是要 通过BankAPP实例来了解如何用 Rose构造业务模型。业务企业模型业务前景，目标，组织-分别提供业务事件UML信号事件-指定的激励表格或文档和过程（UML用例）过程名参与者事件/输入卜事件/输出约束描述弓 用I系 点WithdrawFromAc cou ntCustomer,Teller,Ba n kDBWithdrawReq ues

2、tupdateAcc lou ntWithdrawRe cord译注：Customer :客户；Teller数据库岀纳员 ;withdraw :取款；account :账户；BankDB：银行业务实体（问题域实体）Bus in ess Actors, Bus in ess Workers,业务参与者（UML参与者）业务员（UML参与 者）业务实体（UML类）CustomerTellerAccou nt,Sav in gsAccou nt,Check in gAccou ntOuHJbonw41RW1 ijkCvhp viwiTfrlwllrnm Liw G-VM I aki f -gjrkDS

3、译注：saving :储蓄； checking :支票业务规则目录规则标识符参与者，头体，过程描述：IF条件.then动作区1联系点(Point ofCon tact)ValidAccou ntAccou ntIf Accou ntNum 有 效,then Acccount 有效1 二业务接口（指定操作集）由架构师提供(Eriksson 和 Penker 著)业务模式目录参见 Busi ness Modeli ng with UML业务术语-待完备Q皿WBfinWipp业务系统体系结构由架构师提供fl EUiAfjE:r-Lq BDG需求模型需求：BankApp应该管理支票和存款账户的存款和取

4、款。将来（还要提供）查询，转账，透支，等等从 TellerGUI 到 BankApp的输入 /输岀：sAcctNum, nDeposit, nWithdraw,sText 。从 BankApp到 BankDB的输入 / 输岀：sAcctNum, nDeposit, nWithdraw.需求可追踪性表：需求号，名称，引用，用例名，UML元素，测试用例，描述，职责。需求可追踪性表(部分)需求一用例图一所有用例Rose用例图：在浏览器窗口，选择Use Case View ； Main Use CaseDiagram ；在图上放置参与者，用例，关系Rose单向关联(Unidirectional Ass

5、ociation)，泛化；选择每一个参与者单击鼠标右键键入参与者的操作；选择 Tools-Check Model ;选择File-Save.需求一高级别协作图环境图(Con text Diagram )E廷UMb5 AfifcflBAccINum Wilhr-aw n De poutRose高级别协作图：在浏览器窗口，选择Use Case View ；选择 Browse-Interaction Diagram（交互图）-Use Case View-;选择 Collaboration Diagram;键入图名；在图上放置对象表示参与者；双击每个对象，然后从下拉列表中选择参与者名；在图的中央放置一

6、个对象以表示系统；双击对象，键入系统名；选择 Rose Object Link （对象连接符）并且在参与者和系统之间拖曳；选择 Rose文本框 TextBoxABC,键入传递的对象 /数据；选择 Tools-Check Model ；选择 File-Save 。需求一用例增量增量1:支票和储蓄账户的存款和取款增量2:查询和转账 增量3:透支 每个增量内进行迭代：乐观的，正常的，悲观的需求用例规约：名称，触发器，输入参数，输岀返回值，岀现的前置条件/异常，岀现的（raised ） 后置条件/异常，基本的/乐观场景，替代性可选的 /悲观的场景，业务规则，测试实例。WithdrawFromCheck

7、ingAccount 用例的用例规约用例名：WithdrawFromCheck in gAccou nt触发器：WithdrawFromCheck in gAccou nt输入参数： sAcctNum, nWithdraw输岀返回值：sText前置条件： ValidAccou nt = true and n Withdraw = n Curre ntBala nee出现的前置条件异常：待定的描述 / 转换：nCurrentBalanee = nCurrentBalanee - nWithdraw后置条件：n Curre ntBala nee n OldBala nee后置条件异常：无相关用例：

8、 Generalization, Includes, Extends/Extension Point： 无基本场景 / 乐观场景： Text（ 文本 ） - 待定； Diagram （图） - 见 WithdrawFromCheckingAccount 乐观场景顺序图替代性可选场景 / 被动场景： Text - 待定； Diagram - 见 WithdrawFromCheckingAccount 活动图业务规则： ValidAccountRule, AdequateBalanceRule测试实例： 1 - 乐观的：输入： sAcctNum - BGates001, nWithdraw - 1

9、00, nCurrentBalance -1000 Conditions ： None, 输出： BGates001 withdraw $100 OK and recorded； 2 . 待定输入/ 输出表单：WithdrawFromCheckingAccount 用例的输入 / 输出表单Withdraw Request Form （取款需求表单）Customer Account Number （客户账号） Withdraw Amount （取款数量） Button-Submit （提交按钮） Button-Clear （清除按钮）Withdraw Response Form （取款响应窗体）

10、Customer Account Number Withdraw Amount Status （状态） Button-OK （ OK 按钮）需求顺序图 WithdrawFromCheckingAccount -乐观场景 1 Fll注：getApp的第一笔事务需要达到应用程序的最高级别Rose顺序图：在浏览器窗口，选择 Use Case View ；选择 Use Case Diagram ;选择一个用例； 选择 Browse-Interaction Diagram-Use Case View-；选择 Sequenee Diagram ；键入图名 ,例女口 WithdrawFromChecki n

11、gAccou nt Optimi nticSce nario ;在图上放置对象以表示参与者；双击每 个对象，然后从下拉列表中选择参与者名；在图的中央放置一个对象以表示系统；双击对象，从下拉列表中键入系统名；选择Rose ObjectLink （对象连接符），在参与者和系统之间拖曳；选择 Tools-Check Model ；选择File-Save .4-WithdrawFromChecki ngAccou nt用例一所有场景的需求活动图 cii inqi 起 e Iktali Hl43b Ajecurill| Inil hl i a l r!HChEtolttBAEE-QHnl | |iRos

12、e 类图： 见使用 Rational Rose 分析包图IIn,口ilQfH C 血劇 目事內hD痔*呻in|lI . . Jpn_JRose 包图：在浏览器窗 口选择 Logical View ；选择 Browse Class Diagram Logical View 输入包图名；在图上放置包；从工具条中选择依赖箭头然后从源包到目的包拖曳，放置依赖关系在浏览器中，拖动每个类到适当的包；选择Tools-Check Model ；选择File-Save。分析 WithdrawFromCheckingAccount 顺序图一乐观场景注：getApp的第一笔事务需要达到应用程序的最高级别Rose 顺

13、序图：见使用 Rational Rose 8-分析Account类的状态图IHRose状态活动图：在浏览器窗口，选择 一个用例；选择 Browse - State DiagramUse Case View ；选择；如果State DiagramUse Case Diagram显示；选择是灰色，则返回到用例图并重新选择一个用例；在图上放置活动状态（activity states ）；通过在两个状态之间拖曳，放 置转移；选择 Tools-Check Model ;选择 File-Save .和/或操作规约：名称，输入，前置分析-复杂操作：待定的-每一个操作的活动图条件/异常，转换，后置条件 /异常

14、，业务规则，描述。Rose规约：显示类图；选择一个类；按鼠标右键显示Specification Dialog Box;选择一个标签，例如 Operations ;双击一个操作；填写操作信息；选择 Tools - Check Model ;选择File - Save.设计模型-编码的基础设计过程环境：Linux 6.2 版，GNU C+ 6.2 版，C+ 标准库，CORBA 3。设计潜在模式企业级：基于分布式 CORBA具有公共接口的组件系统（组件到组件）：分层，会话实体（ Session - Entity ），回调（Callbacks ），发行者-订阅者（Publisher - Subscri

15、ber ）组件：应用文档，控制器实体边界，虚包（ Facade ）类设计：UML, Factory （工厂），事务JAVA 语言：Java Bea n, En terprise Java Bea n. Servlet, RMI设计包图LqqH ViewHbqhi C (11 B-Sink D * ft i g a - Irnp 1 nidi 1 莎设计类图 说明类型和参数-目标是完成编码fe .MM*. Vl-fMHlTC角idkJ 車钊利4|i Mg-feKWQ4*|-*jfeHi-i|-aM1qf 14-hC iii a-iJLc.cc：ai!* E- kAc-cihn uMifi* n

16、Milt dt av itri:* &acf*3nC-hE4L$A-eiij AlillsM P*H4*i liiM：k ”网|l7址1* sM| bMM4* h d4 t4O a Ah-fAH iti 4mhe li htA4*注：Check in gAccou nt 和Savi ngsAccou nt 提供多态操作的实现。乐观场景设计顺序图 WithdrawFromCheckingAccount注：getApp的第一笔事务需要达到应用程序的最高级别设计协作图 WithdrawFromCheckingAccount乐观场景在Rational Rose中打开顺序图，按 F5自动创建协作图。i

17、di |w.b#T| tttiifPI设计 CheckingAccount 类 withdraw() 操作的操作规约用例名： withdraw触发： withdraw输入参数： nWithdraw ： int输出返回值： boolean前置条件： nWithdraw = nCurrentBalance出现的前置条件 / 异常： exInsuffientFunds描述 / 转换： nCurrentBalance = nCurrentBalance - nWithdraw后置条件： nCurrentBalance rw9bg! e呻嘴吋bi At*电鞠 hn-r*giIriri 母 1(*刖/Sa

18、mple IDL In terface Code( IDL 接口代码样本)module Ban kApp n terface IBa nkApp excepti on exIn suffie ntFun ds;IBankApp getApp();boolea n depositToCheck in gAcco unt (in stri ng sAcctNu m, in int nDeposit);boolea n depositToSav in gAcco unt (in stri ng sAcctNum, i n int nDeposit);boolea n withdrawFromChec

19、ki ngAcco unt (in stri ng sAcctNum, i n int nWithdraw)raises(exIn suffie ntFun ds);boolea n withdrawFromSav in gAcco unt (in stri ng sAcctNu m, in int nWithdraw) raises(exIn suffie ntFun ds);；/Sample Java In terface Code Using Remote Method Inv ocati on/(使用RMI的Java接口样本)mport java.rmi.*;package Ban k

20、App;public in terface IBa nkApp exte nds java.rmi.Remote boolea n depositToCheck in gAcco unt (Stri ng sAcctNum, i nt n Deposit) throwsava.rmi.RemoteExcepti on ;boolean depositToSavingAccount (String sAcctNum, int nDeposit) throws ava.rmi.RemoteExcepti on ;boolea n withdrawFromCheck in gAcco unt (St

21、ri ng sAcctNu m, int n Withdraw) throwsava.rmi.RemoteExcepti on;boolea n withdrawFromSav in gAcco unt (Stri ng sAcctNu m, int n Withdraw) throwsava.rmi.RemoteExcepti on;/Sample Microsoft IDL In terface Code for COM - Simplified/ (Microsoft IDL 的COMS口编码样本简化版)ibrary Ban kAppLib disp in terface IBa nkApp Ban kApp getApp();boolea n depositToCheck in gAcco unt