面向业务过程的需求分析模型及其自动都化研究-计算机应用技术专业毕业论文.docx

优秀毕业论文 精品参考文献资料 华中科技大学 博士学位论文 面向业务过程的需求分析模型及其自动化研究 姓名：甘早斌 申请学位级别：博士 专业：计算机应用技术 指导教师：卢正鼎;陈传波 2003.3.1 华中科技大学博士学位论文摘 华中科技大学博士学位论文 摘 要 I {随着软件系统的规模越来越大，复杂程度越来越高，需求分析与定义在整个软 件丌：发与维护过程中越来越重要，直接关系到软件的成功与否。需求分析活动不再 仅限于软件开发的最初阶段，它贯穿于系统开发的整个生命周期，并且为软件丌发 的其它管理活动莫定了基础。}／ ∥ 在分析软件发展中存在的。问题及其产生的原因的基础上，总结了国内外学者在 需求工程方面的最新研究成果及其发展趋势，阐述了软件需求的任务、层次、及其 与其它过程的关系，同时对需求工程阶段的主要结果一软件需求规格说明文档 SRS(Software Requirements Specifications)进行剖析，分析了现有编写SRS的几种 语占的优缺点，提出了编写高质量SRS的八大基本准则，并给出了SRS的形式化结 构描述。 借助于集合论和图论工具，提出了一种面向业务过程的需求分析模型BORA L Business—Oriented Requirements Analysis)。f该需求分析模型以业务流程重组BPR (Business Process Reengineering)理论为基穑、以业务过程的分析为核心、以条件 有向图为工具。与现有的一些需求分析方法相比，利用BORA模型进行需求分析 时，通过模型优化分析，审视企业现有业务流程运作情况，并发现其中的问题，在 业务流程合理化和优化的蒸础上再分析、设计软件，从而可提高软件的质量，能更 好地满足用户要求。 在面向业务流的需求分析过程中，甩条件有向图中的一个节点代表业务流中的 一个活动(步骤)．每个带箭头的直线代表流程之间的控制和数据流动关系．业务流 中涉及到的工作人员、权限、数据对象等都可以看作是每个活动的属性。因此，一 个业务流的模型可以用若干个节点(活动)和带箭头的直线(关系)来表示，这样 可详细描述每个业务流在其实现过程中所涉及到的各种静态数据、动态数据、业务 规则、处理流程等业务要素之间的逻辑关系，有助于软件开发人员理解系统的预期 功能和行为，有助于软件测试人员从覆盖所有转换路径的有向图中获得完备的测试 用例。广7 针对BORA模型，根据有向图基本理论，定义了描述业务流过程模型时所使用 的语言符号及其形式化定义，建立了一套业务过程形式化语义体系，并以实例详细 介绍了BORA模型的应用。 r 【从分析现有需求分析方法存在的一些问题以及BORA模型描述的一致性检查入 手．结合BPR基本理论，提出了影响业务流过程执行的性能和效率的三个主要因 素，并以此对业务流过程进行了定量分析。同时提出了一种由上而下的分析和优化 华中科技大学博士学位论文业务流过程的方法，也就是由业务流过程的起始节点开始分析得出活动间的依赖关 华中科技大学博士学位论文 业务流过程的方法，也就是由业务流过程的起始节点开始分析得出活动间的依赖关 系，找出业务流过程执行的瓶颈，重构业务流过程。详细讨论了冗余活动的取消、 业务流过程的简化以及业务流的重构三种优化途径。使用这些方法可以减少业务流 执行的时间，提高整个业务流过程的执行效多，保证用户的原先意图和业务流过程 执行结果在业务流程优化后不会被改变。∥ ， 提出了一个SRS自动生成系统SAGS(SRS Automated Generation System)实现 框架，并建立了一套系统原鹞／该系统主要由人机接口、需求编辑模块、图形编辑 模块、一致性检查模块、业务0电程优化模块、数据字典管理模块、SRS文档管理模 块、安全管理八大功能模块和需求描述库、需求文档库、模型知识库、文档模板库 四个数据库组成，基本实现了CDG图形的编辑、SRS文档管理以及从需求描述到软 件规格说明的自动生成等功能。l，一 ， 借助于模糊数学的基本理论，分析了软件需求规格说明及其质量特性，建立了 SRS的质量度量指标体系，提出了有关数据的获取以及模糊综合评价方法，同时对 评价结果进行了定量分析，并给出了一个SRS模糊评判系统SFES(SRS Fuzzy Evaluating System)实现框架，详细分析了SFES系统的组成和实现的功能。 最后总结了主要的研究成果，并指出了本领域需要进一步研究的问题和方向。 关键词：需求自动毛匕；形式化描述：软件需求规揞说明；条件有向图：业务演程 。 √ 。L／ 重组；模糊评价 一 ＼／ 华中科技大学博士学位论文Abstract 华中科技大学博士学位论文 Abstract As software systems become larger