基于“4+1”视图的UML设计模型描述框架与应用.doc

《基于“4+1”视图的UML设计模型描述框架与应用.doc》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、基于“4＋1”视图的面向对象软件设计模型描述框架及其应用多年来，我们使用UML语言和Rose工具进行面向对象设计，使用SoDA工具生成设计文档。在面向对象软件设计中，产生大量的类、接口、组件、包等模型元素，以及用例图、类图、活动图、序列图、状态图等UML图。一些面向对象软件项目的模型元素和UML图多达几十至几百个，导致其UML设计模型难以组织和相应的设计文档难以编制，不可避免地遇到如何建立软件设计模型描述框架的技术问题。为此，利用UML扩充机制提出了逻辑用例包、运行设计包、逻辑CSC、逻辑接口数据包等模型扩充描述要素，基于“4＋1”视图体系结构和

2、用例驱动方法建立了包含用例实现、软件进程、软件结构、外部/内部接口的设计模型描述框架，并利用该设计模型描述框架在Rose和SoDA工具上建立了UML设计模型模板和设计文档模板，实现了建模模板化和文档生成自动化。1　软件设计模型描述框架“4＋1”视图体系结构包括逻辑视图、进程视图、开发视图、物理视图和用例视图。用例视图描述了软件需要的功能，并协调其他视图，保持设计的一致性，利用该视图可以建立软件用例实现模型。逻辑视图描述了组成软件的若干类及其关系，利用该视图可以建立软件结构模型和接口设计模型。进程视图描述了系统至进程和任务的分解以及这些并发元素之间

3、的通讯和同步，利用该视图可以建立软件进程模型。开发视图描述了在开发环境中软件的静态组织结构，利用该视图可以建立软件组件模型。物理视图描述了物理网络的配置，软件至硬件的映射，通过软件设计建立软件部署模型。这些模型共同构成软件设计模型。我们用BNF范式来表示软件设计模型描述框架。<软件设计模型>∷=<软件用例实现设计子模型>+<软件结构设计子模型>+<软件组件设计子模型>+<接口设计子模型>+<软件进程设计子模型>+<软件部署设计子模型>其中，前四个模型一般均要用于软件设计建模，软件用例实现设计模型通过用例驱动方法与其它模型衔接，软件进程设计模型只用

4、于多进程设计建模，软件部署设计模型只用于分布式软件设计建模。以下针对各设计模型，进一步给出其描述框架。(1)软件用例实现设计子模型在软件设计过程中，每个用例均有相应的实现，可以用用例图表示相关用例和角色之间的关系，用序列图表示实现该用例的若干参与对象及其时序消息关系，用类图表示实现用例的这些参与对象所属类的相互关系，用活动图表示实现该用例的若干活动之间的关系，用状态图表示实现该用例的若干状态之间的转换关系。由此，得到用例实现的基本构成。如果用例实现较多（一般多于5～7个），可以根据情况将用例实现分包，形成用例实现包。如果用例实现包还是比较多，可以

5、根据情况将用例实现包继续分包，形成逻辑用例实现包。如果逻辑用例实现包仍然比较多，还可以进一步分包，形成高层的逻辑用例实现包。这样就由用例实现、用例实现包、逻辑用例实现包逐层构成了软件用例实现设计模型，其BNF范式描述形式如下：<软件用例实现设计子模型>∷={<逻辑用例实现包>

6、<用例实现包>}

7、{<用例实现>}+<用例图>+[<活动图>]<逻辑用例实现包>∷={<逻辑用例实现包>

8、<用例实现包>}+<用例图>+[<活动图>]<用例实现包>∷={<用例实现>}+<用例图>+[<活动图>]<用例实现>∷=<用例图>+<序列图>+[<类图>]+[<活动

9、图>]+[<状态图>](2)软件结构设计子模型软件结构设计模型以类和类之间关系为基础描述软件组成和结构。若干类组成具有语意的类包，如果类包对应于某个组件，就为CSC。若干类包可以组成具有语意的逻辑类包，多个逻辑类包和类包可以组成具有语意的、更大的逻辑类包，若干CSC可以组成具有语意的逻辑CSC。对于较复杂的软件可以先分逻辑层，再按类包、逻辑类包组织类。这样就由类、类包、CSC、逻辑类包、逻辑CSC、逻辑层构成了软件结构设计模型，其BNF范式描述形式如下：<软件结构设计子模型>∷={<逻辑层>}

10、{<逻辑CSC>

11、<逻辑类包>

12、<类包>}+<类图>

13、<逻辑层>∷={<逻辑CSC>

14、<逻辑类包>

15、<类包>}+<类图><逻辑CSC>∷={}+<类图>∷={<类>}+{<类图>}<逻辑类包>∷={<类包>}+<类图><类包>∷={<类>}+{<类图>}(3)软件组件设计子模型软件组件设计子模型描述软件组件及其关系。每个组件实行相应的若干类，若干组件构成有语意的组件包，若干组件包和已构成的逻辑组件包可以构成新的、有语意的逻辑组件包。这样就由组件、组件包、逻辑组件包构成了软件组件模型，其BNF范式描述形式如下：<软件组件设计子模型>∷={<逻辑组件包>

16、<组件包>}

17、{<组件>}+

18、<组件图><逻辑组件包>∷={<逻辑组件包>

19、<组件包>}+<组件图><组件包>∷={<组件>}+<组件图><组件>∷={<实现组件的类