基于敏捷化统一过程需求建模的研究及实践

敏捷建模(AM)是适应需求变化、提高软件开发效率的新型建模思想,而RUP是Rational公司提出的一个通用的软件开发过程框架。本文分析了当前RUP实践的缺点及敏捷建模实践特点,在此基础上总结了敏捷化统一过程(AM-RUP),并提出了一种AM-RUP的需求建模过程——“总体概要需求获取,按需求优先级进行计划,小增量迭代式简单需求建模”。以社会保险系统的开发为背景,探索了基于AM-RUP的需求建模过程及技术。     

多视点中不一致性的处理：一种基于认知逻辑的方法

衡量一个软件系统是否成功,一个基本的要素就是看该软件系统是否满足了用户的要求。软件系统需求工程(RE)就是一个通过标识涉众及其需求并将其文档化以便于进行分析的过程。RE是一个跨学科,以人为中心的过程。多视点需求工程是需求工程的一个分支。多视点需求工程就是希望复杂系统中的不同参与者分别从自己的角度出发对预期系统进行描述,从而形成更完备的需求规约。由于多视点方法的这种特性,导致多个涉众有可能对同一问题进行描述,从而形成重叠的需求。这些重叠的需求就是涉众之间的公共知识,对公共知识的不同解释是导致需求规约中不一致问题的根源。不一致性是多视点需求工程中一个必须解决的问题。本文提出了基于问题域的多视点需求建模框架,并利用认知逻辑对该框架进行解释和推理,希望可以用形式化的方法来发现和解决存在于不同视点间的不一致性。     

一种形式化的软件可演化性特征描述方法

软件系统的活性和安全性是判断软件可演化性的重要依据之一。现有方法多使用经典逻辑对系统的活性和安全性进行刻画。环境及涉众的复杂性使得软件的可演化性分析可能出现矛盾的输入。经典逻辑的无矛盾律导致其不能对软件系统的演化特性进行有效建模。针对该问题,提出了一种形式化的软件可演化性特征描述方法,该方法允许矛盾性输入的存在,可用于对软件可演化性等存在矛盾特性的系统进行建模和分析。该方法使用多值时序逻辑刻画软件系统的演化需求,同时提出了一种抽象软件模型对软件系统进行建模,通过抽象软件模型的活性和安全性来对软件系统的可演化特征进行描述。     

基于层次社会组织目标的需求过程建模

将社会组织结构抽象为递归的社会组织域树,其顶层目标即为社会组织总体目标,总体目标层层分解为社会子组织域目标,从层次化的社会组织目标构建软件系统需求目标分解树,进而构建软件系统需求,并用层次着色Petri网对软件系统需求过程进行形式化建模,无缝连接社会组织目标与软件系统需求,为软件系统需求分析提出了一种自然、直观的需求过程建模方法.     

一种基于领域知识的非功能需求建模辅助方法

随着信息化的普及,人们对软件系统质量要求越来越高,由于体现涉众对软件质量要求的非功能需求具有抽象、主观、不确定等特性,纯粹依赖人工方式对非功能需求建模是一项十分困难的任务.利用领域工程具有的内聚性和稳定性,提出一种基于领域知识的非功能需求建模辅助方法,通过挖掘隐含领域知识,层次化地组织领域知识,能够弥补个人知识的不足,更准确、完整地建模非功能需求.该方法包含两个部分:(1)基于不确定性理论的领域知识获取及分析模块;(2)基于NFR(Non-Functional Requirements)框架的非功能需求辅助建模模块.通过建立非功能属性分解树、设计基于三角模糊数的评价语言值量化机制和传递依赖关系计算方法,实现了对领域知识的准备;建立了非功能属性及非功能需求间依赖关系的形式化定义和推理规则,提出了基于RE-Tools的NFR扩展,实现了对领域知识的应用.案例研究表明,文中方法具有良好的可操作性,能够辅助建模需求关联,减轻需求工程师的工作负荷;同时,交叉实验结果表明,该方法可提升传统NFR框架方法的效率和准确度.     

敏捷需求建模的研究与设计

文章综合研究了敏捷方法与极限编程开发过程,结合需求工程方法,设计提出了基于敏捷思想的敏捷需求建模（Agile Requiremenb Modeling。简称ARM）。敏捷需求建模作为各种敏捷方法在软件需求中的实践补充,能够满足CMMI的目标。可以为中小型软件开发组织的行动指南提供参考。     

基于事例的敏捷供应链模型构件可重用设计

文章从敏捷供应链集成化企业建模的需求出发,围绕敏捷供应链的相关特点,研究了敏捷供应链的通用化建模方法,结合CIMS_OSA的有关内容,划分了敏捷供应链的建模层次。采用模型构件的方法进行建模,提出了基于事例的模型构件可重用设计方法。研究了模型构件的事例表示方法,并相应地建立了模型构件的匹配算法。     

面向管理信息系统的敏捷建模技术研究

针对用户需求，建立管理信息系统模型是正确开发该系统的重要前提。本文通过对管理信息系统建模方法的研究，分析了管理信息系统敏捷建模技术的内涵和特点，提出了适应于管理信息系统开发的敏捷建模技术的原则和方法，为管理信息系统的建模与分析奠定了基础。     

一种基于风险的需求优先级排序方法*

为支持风险的量化分析以提高需求优先级排序的有效性,提出了一种基于风险的方法。方法从需求和任务两个层面实现对需求选取问题的建模,以风险为关键因素计算得出需求优先级。模拟实验的结果表明,本方法有助于提高项目最终取得的价值,同时优先级排序的结果符合费效比原则,即项目实现了在早期尽快获取价值的目标。     

基于UML的敏捷建模方法研究

企业要想不断的适应社会的快速变化,必须在需求和技术不断变化的过程中实现快速的软件开发.UML作为一个有效的建模工具,可以对软件开发的过程进行可视化,敏捷建模是一种有效的、轻量的软件开发方法.基于UML的敏捷建模方法研究,将敏捷方法贯穿于整个系统分析建模过程中,通过创建简单内容,采用迭代、递增的方法建模,达到包容需求变化的目的,提高软件开发的质量和速度,为企业创造竞争优势.     

敏捷软件过程的研究与实践

结合XP、FDD等敏捷软件开发方法,提出了适用于中小型软件企业的敏捷软件开发方法——FXP,并成功地进行了实践。FXP以XP为框架,通过对重量级软件过程方法和敏捷软件过程实践的融合,既强调重量级软件过程方法整体协作的一致性,又结合了敏捷软件过程轻量级方法高效交流与分享的优点,通过把项目管理维度、软件工程维度、质量保证维度3个维度有效地融合在一个整体协作环境,解决了传统软件过程进度跟踪、需求跟踪、质量跟踪3个层面的断层。     

极限编程在进销存管理系统开发中的应用

极限编程是敏捷方法中最著名的一种基于实践的软件开发方法.通过介绍极限编程的特点以及在进销存管理系统项目开发中的实践,探讨研究了极限编程对于需求易变的小型信息管理软件开发项目应用的优势.     

敏捷方法在软件项目开发中的实践

目前很多企业内中小型软件项目面临开发时间紧迫、人手不足、需求不断变化的困难,传统重量级的软件开发方法无法应对这样的挑战.敏捷方法是基于实践的软件开发方法学,为解决这类轻量级项目管理和开发所碰到的问题提供了新的思路.通过分析敏捷方法的主要目标、观点和原则,并结合一个实际的管理信息系统项目开发,从项目计划、项目文档、重构的改进和项目维护的4个方面探讨了敏捷方法的实践应用.实践证明,采用敏捷方法的观点和原则进行必要的改进,能取得项目开发的成功.     

Imaginate [software construction]

We looked at the projects requirements and thought they were straightforward. This project uses a home-brew application development system. It is an example of agile development. This framework uses a mixture of technologies: some modeling, some code generation, some reusable components, and so on. This real-time software lasts and delivers value, for as long as it's needed, and is simple and straightforward to understand, maintain, enhance and extend.     

一种软件需求描述语言的设计与实现

提出了一种面向软件行为的需求建模方法和需求描述语言BDL,介绍了需求描述语言的设计和实现方法。利用此需求建模可以根据用户的需求信息寻找出目标系统的有效行为,建立目标系统的行为模型。该行为模型可以帮助用户和开发人员正确认识和理解目标系统的行为,而且能为以后自动检测系统的各种特性提供良好的基础。     

An approach to test-driven development of conceptual schemas

Test-Driven Development (TDD) is an extreme programming development method in which a software system is developed in short iterations. In this paper we present the Test-Driven Conceptual Modeling (TDCM) method, which is an application of TDD for conceptual modeling, and we show how to develop a conceptual schema using it. In TDCM, a system's conceptual schema is incrementally obtained by performing three kinds of tasks: (1) Write a test the system should pass; (2) Change the schema to pass the test; and (3) Refactor the schema to improve its qualities. We also describe an integration approach of TDCM into a broad set of software development methodologies, including the Unified Process development methodology, the MDD-based approaches, the storytest-driven agile methods and the goal and scenario-oriented requirements engineering methods. We deal with schemas written in UML/OCL, but the TDCM method could be adapted to the development of schemas in other languages.     

敏捷开发:极限编程在管理信息系统开发中的实践探讨

极限编程是敏捷的和基于实践的软件开发方法学。通过介绍极限编程的特点及其在一个管理信息系统项目实际开发中的成功实践，探讨研究了极限编程对于中小型需求易变的软件开发项目应用的优势和不足。     

基于敏捷软件开发方法的基金管理信息系统开发

敏捷软件开发是一种面临迅速变化的需求快速开发出高质量的软件产品软件的新方法。介绍了敏捷软件开发的主要内容，特别是XP和AM，并以一个基金管理信息系统的开发为例，展示了实际应用过程。     

基于敏捷建模的形式化需求分析方法

软件需求分析是软件生命周期中最关键的一步。传统的需求建模方法主要有两个重大的缺陷：1）非形式化的需求描述常常导致需求的歧义性和不一致性,因而难以确认和验证;2）易变一牲,需求变更及其连锁反应是对项目质量、进度乃至合同履行影响最大的风险因素。本文针对软件需求分析阶段的难点,通过将形式化方法和敏捷建模理论相结合,提出一套基于敏捷建模的形式化需求分析方法。