多维状态驱动的需求工程过程方法研究

采用适用的过程模型有助于保证需求过程的需求开发效果。然而构造新过程模型仍然是一项富有挑战性的任务,即便对已有通用过程模型进行定制也需要大量的工作。多维需求过程模型的构造方法能够有效支持过程定义和定制。总结了已有多维需求过程模型。多维需求过程模型的构造方法能够有效支持过程定义和定制。总结了已有多维需求过程模型的构造方法现状;针对其存在的不足,进一步提出了一种多维状态驱动的需求工程过程方法(multi-dimension State-Driven Requirement Engineerlng Pricess Method)SDREPM,并给出了SDREPM方法的形式化定义和基于SDREPM的过程模型构造算法。最后给出了SDREPM方法在实际项目中的一个应用实例。

基于层次着色Petri网的需求工程过程框架

提出一种基于层次着色Petri网的需求工程过程框架,对软件需求工程过程、需求活动、需求任务及其功能进行了形式化定义,为软件需求工程实现了一个清晰、完整、无二义性的精确描述框架,并为最终产生高质量的软件需求规格说明奠定了坚实的基础,也为软件需求的精化、规约、复用、演化以及需求管理、需求质量控制、度量等提供了严格数学依据。

反射式需求工程过程演化建模

用反射机制为软件系统需求工程过程演化建模,将需求工程过程的开发活动作为反射系统的基层,实现软件系统的功能需求,将软件系统的非功能需求作为反射系统的元层,对需求工程过程的开发活动进行调节、控制,并将非功能需求的性质反射到功能需求.定义了有色Petri网及其范畴,并用有色Petri网范畴描述软件系统非功能需求性质的模拟、保持和反射机制;用有色Petri网建立反射式需求工程过程演化形式化模型,模拟了软件系统需求工程过程中功能需求和非功能需求的迭代、增量、演化,为软件系统需求工程过程演化建模提出了一种新的方法.