分析 WithdrawFromCheckingAccount顺序图－乐观场景 

    注：getApp的第一笔事务需要达到应用程序的较高级别

    Rose顺序图：见〈使用Rational Rose〉

    8- 分析Account类的状态图

    Rose 状态－活动图：在浏览器窗口，选择Use Case View；选择Use Case Diagram 显示；选择一个用例；选择Browse - State Diagram；如果 "State Diagram" 是灰色，则返回到用例图并重新选择一个用例；在图上放置活动状态（activity states）；通过在两个状态之间拖曳，放置转移；选择Tools-Check Model；选择File-Save .

    分析－复杂操作：待定的－每一个操作的活动图 和/或操作规约：名称，输入，前置条件/异常，转换，后置条件/异常，业务规则，描述。

    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 - Subscriber）

    组件：应用－文档，控制器－实体－边界，虚包（Facade）

    类设计：UML, Factory（工厂），事务

    JAVA 语言：Java Bean, Enterprise Java Bean, Servlet, RMI